[zaro]

There are way to make Linux an RTOS, including work on pushing RT deterministic scheduler in the mainline[1].

[1] https://rt.wiki.kernel.org/index.php/Main_Page

[alexhornbake]

Ahhh... Found it... The project has it's own Kernel. I stand corrected. This is super cool. https://github.com/ApolloAuto/apollo-kernel