Scalable, optimized, secure RTOS for multiple hardware architectures
freeRTOS for Arduino Uno, Goldilocks 1284p & Mega 2560
A microkernel-based multiserver operating system written from scratch.
Latest Android builds from PixelBoot.
AliOS Things latest version
An little operating system
Message passing microkernel-based Operating System for ZX Spectrum +3e
A UNIX-like kernel for the i386 architecture
W-Bus communication library
FreeMiNT is a free alternative OS kernel for Atari systems & clones
Use an rtl2832 USB dongle to generate random data for the linux kernel
CAN bus device driver
A Simple 'IDE'A for Linux Kernel Developers
Linux kernel development for Wondermedia-based System-on-a-Chip device
Simple AVR OS
U-tube is a dynamic memory management tool for Xen virtualized envi