Zen Patched Kernel Sources
This is the stress-ng upstream project git repository.
Linux Kernel source tree
Scalable, optimized, secure RTOS for multiple hardware architectures
A tapas/topaz/sapphire kernel optimized for smoothness and low-memory
Tool kit for building highly secure special-purpose operating systems
Software development for 4Mb portable, using Z80 CPU and AA batteries
Alternative operating system for x86 computers
A cute and educational x86 OS
Simplest kernel for cooperative multithreading
An little operating system
Free real-time operating system designed for microcontrollers
RTOS for Secure, Safe and Real-Time Systems
HackSys Extreme Vulnerable Driver (HEVD) - Windows & Linux
A Tiny Linux-Compatible Kernel
A UNIX-like kernel for the i386 architecture
Run Linux on the Playstation 2
An operating system for tenputer
Small real time operating system for AVR and ARM microcontrollers
My own operating system.
Onboard NAND flash operations monitor for embedded Linux