Free real-time operating system designed for microcontrollers
RTOS for Secure, Safe and Real-Time Systems
Message passing microkernel-based Operating System for ZX Spectrum +3e
Linux Kernel Input/Output Driver for one single GPIO line
Nebula Kernel, My Personal Custom Kernel geared towards Performance.
Use an rtl2832 USB dongle to generate random data for the linux kernel
Custom kernel for SGS4(GT-I9500) with Nethunter support.
Android, DOS, FirefoxOS, Linux, MacOS and Windows all in one..
UEFI GTP fdisk is a disk partitionning tool running under UEFI/BIOS
A Simple 'IDE'A for Linux Kernel Developers
A new OS
Onboard NAND flash operations monitor for embedded Linux
Simple, Fast, Advanced... ZintoriOS. Made in Wellington, New Zealand
DroidLDR is a MultiBoot loader for every Droid Phone
Overnet Millennium Server for Unix Linux