NVIDIA Linux open GPU kernel module source
A BSD-based OS project that aims to provide an experience with MacOS
Hobby operating system, bootloader, kernel, drivers, C library
Scalable, optimized, secure RTOS for multiple hardware architectures
Tool kit for building highly secure special-purpose operating systems
Real-Time Event Frameworks based on active objects & state machines
It's a personal microkernel project designed as a learning ground.
A cute and educational x86 OS
Simplest kernel for cooperative multithreading
OS bootable from Linux,Windows and others partitions as auxiliary OS
Real time preemptive embedded multi-thread kernel
PRTOS is a simple, compact preemptive RTOS for embedded systems
A UNIX-like kernel for the i386 architecture
Mulithreading Arduno library
FreeMiNT is a free alternative OS kernel for Atari systems & clones
Chromium + Ubuntu = Cub Linux