Market leading real time kernel for 40+ microcontroller architectures
Mirror of: https://github.com/osdldbt/
Tool kit for building highly secure special-purpose operating systems
An little operating system
Real time preemptive embedded multi-thread kernel
Use an rtl2832 USB dongle to generate random data for the linux kernel
Development moved to https://sourceforge.net/projects/ntfs-3g/
UEFI GTP fdisk is a disk partitionning tool running under UEFI/BIOS
Nanux Kernel
Overnet Millennium Server for Unix Linux