Hobby operating system, bootloader, kernel, drivers, C library
Thread Scheduler with custom asynchronous messaging in VC++
Open-source RTOS and Embedded Systems Toolkit for C++ and C
ext2/3/4 library for microcontrollers
Mulithreading Arduno library
Android, DOS, FirefoxOS, Linux, MacOS and Windows all in one..
Small real time operating system for AVR and ARM microcontrollers
A Python library to create and deploy cross-platform native context