The Linux Foundation has unveiled Zephyr, an open-source project aimed at the creation of a real-time operating system suitable for Internet of Things (IoT) and connected devices. Announced on ...

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 ...