freeRTOS for Arduino Uno, Goldilocks 1284p & Mega 2560
A microkernel-based multiserver operating system written from scratch.
C++ embedded RTOS,TCP/IP,TLS,FAT,USB,PERIPHERALS,...
OS bootable from Linux,Windows and others partitions as auxiliary OS
Tool allowing you to put a Linux distro on a USB drive.
A FreeRTOS fork implementing EDF scheduling
A native, dual-bootable ubuntu for the HTC™ HD2 Phone (qsd8250 SoC)
Tool intended to help the process of booting Linux on Intel Macs.