The source for the Linux kernel used in Windows Subsystem for Linux 2
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
Get latest Edition here: http://www.openqrm-enterprise.com.
It's a personal microkernel project designed as a learning ground.
Hobby operating system, bootloader, kernel, drivers, C library
Portable Penetration Testing Operating System
A cute and educational x86 OS
Just bring Linux for a better world
OS bootable from Linux,Windows and others partitions as auxiliary OS
LuninuxOS is a Debian/Ubuntu based Linux distribution.
PRTOS is a simple, compact preemptive RTOS for embedded systems
A UNIX-like kernel for the i386 architecture
Mulithreading Arduno library
LinuxTLE (Revival)
Chromium + Ubuntu = Cub Linux