It never arrived anywhere from the Acorn and Amiga POV (my take on that internally was "we shouldn't be wasting our time with these Amiga chancers", not that my opinion mattered), but it absolutely shipped. The main driver of sales I think was being a JIT Java engine for whatever the mobile-phone-Java-flavour of the time was (in that setup the RTOS underpinnings were all still there, but it ran "hosted" rather than bare-metal, with 'device drivers' that talked to the host OS). We also ended up as the RTOS in a JVC video camera. And of course it being a startup there was a bunch of "have a go at getting into some market/some contract, but it doesn't work out" work as well (I think I did a port to a PS4 devkit at some point, and I still have the Dreamcast devkit that somebody else did a port to, for instance).
At this late date most of the details have fallen out of my memory, but checking PS3 and PS4 release dates, yes, it must have been PS3. I remember now that it was the PPC one, which also indicates the PS3. IIRC we had to change our codegen to avoid the "sets flags" versions of instructions because on that CPU they were all microcoded and took an immediate 20 cycle penalty or something...
