Yes. I am not powering a nuclear reactor using the engine, so I can't give you any sort of hard-RTOS numbers. The kernel of the device itself uses Linux, which

Yes. I am not powering a nuclear reactor using the engine, so I can't give you any sort of hard-RTOS numbers. The kernel of the device itself uses Linux, which has been modified with "real time" patches. At some point, I'll have to publish data and benchmarks about performance to satisfy potential customers. I can say I would personally much rather use this device in a live setting than any desktop or laptop, unless I have aggressively modified the software environment of the computer. There are just too many things that can go wrong in a live setting.