Comment by 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