I just re-read µC/OS-III – The Real-Time Kernel by Jean Labrosse, which – I believe – provides a fantastic introduction to Real-Time Operating Systems. Now, just to make sure we're all tap-dancing to ...

However, SeL4 can be used, in theory, as a foundation for Linux and other Unix related operating systems. For example, it was briefly considered for use in Richard M. Stallman's still-born Gnu Hurd ...