NVIDIA Linux open GPU kernel module source
A BSD-based OS project that aims to provide an experience with MacOS
Scalable, optimized, secure RTOS for multiple hardware architectures
Real-Time Event Frameworks based on active objects & state machines
It's a personal microkernel project designed as a learning ground.
Hobby operating system, bootloader, kernel, drivers, C library
A cute and educational x86 OS
OS bootable from Linux,Windows and others partitions as auxiliary OS
PRTOS is a simple, compact preemptive RTOS for embedded systems
A UNIX-like kernel for the i386 architecture
Mulithreading Arduno library
Chromium + Ubuntu = Cub Linux
Android, DOS, FirefoxOS, Linux, MacOS and Windows all in one..
An indie, hobby operating system
Small real time operating system for AVR and ARM microcontrollers
What you see, is what you get! GNU/Linux Arch Based Distro