> This is a key difference between RTOS and Linux, where operations wait in an execution queue. And this is one of the reasons why Linux isn’t used in professional security systems.

Linux also has a realtime kernel available. It would have been nice to know why they didn't go with that, but it wasn't even mentioned.

Seems research grade ambitious plus real products, a not very common combination.