Simplest kernel for cooperative multithreading
OS bootable from Linux,Windows and others partitions as auxiliary OS
Real time preemptive embedded multi-thread kernel
Ubuntu-based Linux Gaming OS
Game backup loader for Wii and vWii
A UNIX-like kernel for the i386 architecture
Mulithreading Arduno library
FreeMiNT is a free alternative OS kernel for Atari systems & clones
Run Linux on Windows or other OSes, natively.
64-BIt Operating System with Compiler
a UNIX GUI to monitor Core i7 & Core 2 processors
Linux kernel port for the ADI's Blackfin and future processors
My own operating system.
Buildroot Linux distribution for ADI Blackfin and future processors.
Kestrel is an experimental kernel runs on i386
Neptune is a kernel and operating system for x86 PCs.
Embedded Real-Time Operating System (RTOS)
Custom firmware and IDE for the VEX Cortex Microcontroller
Simple, Fast, Advanced... ZintoriOS. Made in Wellington, New Zealand
Crosos is a SubLinux Distribution
Yet another Kernel - clone the git repo for newest version