Hobby operating system, bootloader, kernel, drivers, C library
The classic RPL programming language reimplemented and reimagined.
Simplest kernel for cooperative multithreading
Open-source RTOS and Embedded Systems Toolkit for C++ and C
Real time preemptive embedded multi-thread kernel
Hanthana Linux Project
Rewrite Minix 3 from C to D
A UNIX-like kernel for the i386 architecture
High level interface to the Linux Kernel's seccomp filter
A Simple 'IDE'A for Linux Kernel Developers
Small 32-bits operating system
A rethinking of the Operating System Ecosystem.
Simple AVR OS