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

The microkernel real-time operating system (RTOS) market is evolving rapidly as enterprises seek solutions that increase system modularity, security, and deterministic performance. Growing adoption ...

Real-time operating system kernels in embedded systems need to be configurable. Unfortunately many of today's commercial real-time kernels are monolithic. These optimized code packages are difficult ...

A new global foundation will help Australia’s government scientific research organisation dramatically expand the reach of a mathematically-verified secure operating-system kernel for applications ...

The μ-velOsity RTOS (real-time operating system) microkernel targets NEC Electronics’ V850 embedded-microcontroller family. Features include a 2-kbyte ROM footprint, a 1-kbyte RAM footprint, and ...

The ongoing US-China trade war has done something good for the deep-pocketed Huawei: Create its own ecosystem where it does not need to look at the US tech giants for powering connected devices.