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 ...
If you're looking for a Unix-like, POSIX-compatible, real-time kernel, there's no shortage of projects trying to build one. Ironclad stands out for using the Ada programming language and its formally ...