NVIDIA Linux open GPU kernel module source
Scalable, optimized, secure RTOS for multiple hardware architectures
Hobby operating system, bootloader, kernel, drivers, C library
Real-Time Event Frameworks based on active objects & state machines
It's a personal microkernel project designed as a learning ground.
Simplest kernel for cooperative multithreading
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
What you see, is what you get! GNU/Linux Arch Based Distro
Embedded Real-Time Operating System (RTOS)
Crosos is a SubLinux Distribution
Nanux Kernel
An operating system based upon the MOSA kernel.