Market leading real time kernel for 40+ microcontroller architectures
Real-Time Event Frameworks based on active objects & state machines
Boots into many systems and GRUB2 ones!
Alternative operating system for x86 computers
Android, DOS, FirefoxOS, Linux, MacOS and Windows all in one..
Operating System in 512bytes.