NVIDIA Linux open GPU kernel module source
Rust Linux-compatible kernel
Scalable, optimized, secure RTOS for multiple hardware architectures
Exton|OS 64 bit based on Ubuntu/Debian with KDE Plasma 4:6.6.2
Hobby operating system, bootloader, kernel, drivers, C library
GaryOS is an entire GNU/Linux system in a single bootable file
A multiboot cd with six mini Linux Systems
Real-Time Event Frameworks based on active objects & state machines
It's a personal microkernel project designed as a learning ground.
Shastra OS is a Arch Linux based Operating System.
Simplest kernel for cooperative multithreading
Free cooperative operating system designed for microcontrollers
x86-64 os made in crystal
Real time preemptive embedded multi-thread kernel
PRTOS is a simple, compact preemptive RTOS for embedded systems
A UNIX-like kernel for the i386 architecture
Mulithreading Arduno library
FreeMiNT is a free alternative OS kernel for Atari systems & clones
replicated-kernel Linux-based OS
Lightweight operating system using Node.js as userspace
What you see, is what you get! GNU/Linux Arch Based Distro
Neptune is a kernel and operating system for x86 PCs.