The term Aula did not pop up until less than two weeks ago on December 28th, when SciresM pushed a commit to the Atmosphere code with support for it. Searching 'Aula' in Era won't give you any English results before that date.
Perhaps, but hexkyz (the guy who first tweeted about nx-abcd), who first put together that nx-abcb are likely simulation platforms*, is also confident this is consumer hardware. If it's not going to release, it's because something didn't work out, which is weird given that it's still being updated.
*I'm not suggesting he was the first to claim they won't release, but that he realized they were never even something experimentally developed as a potential consumer product; they exist to aid R&D and nothing more - if his speculation is correct, of course.