NVIDIA Linux open GPU kernel module source
Scalable, optimized, secure RTOS for multiple hardware architectures
A BSD-based OS project that aims to provide an experience with MacOS
Hobby operating system, bootloader, kernel, drivers, C library
Building and running ancient Linux on Windows
Market leading real time kernel for 40+ microcontroller architectures
Real-Time Event Frameworks based on active objects & state machines
It's a personal microkernel project designed as a learning ground.
Alternative operating system for x86 computers
A cute and educational x86 OS
Simplest kernel for cooperative multithreading
OS bootable from Linux,Windows and others partitions as auxiliary OS
RTOS for Secure, Safe and Real-Time Systems
Real time preemptive embedded multi-thread kernel
Real-Time Embedded Operating System
A Tiny Linux-Compatible Kernel
PRTOS is a simple, compact preemptive RTOS for embedded systems
A UNIX-like kernel for the i386 architecture
Mulithreading Arduno library