The classic RPL programming language reimplemented and reimagined.
BearOS kernel source tree x86
Q1-kernel a hybrid kernel
A hobby micro-kernel operating system
amforth is an extendible interpreter on microcontrollers
16 bit real mod minecraft clone running in bios
AO RTOS is small real time OS based on Active Object concurrency model
Intel Bluetooth Kernel Extensions for macOS
OnePlus Nord (Avicii) Builds of PSM-Kernel
Jupyter kernel for Coq
Alternative operating system for x86 computers
freeRTOS for Arduino Uno, Goldilocks 1284p & Mega 2560
R kernel for Jupyter
Vampire OS is the alternative to Windows and macOS
A cute and educational x86 OS
A microkernel-based multiserver operating system written from scratch.
C-BIOS is an open source BIOS for MSX computers.
A basic command line OS made with Cosmos
The smallest and the most powerful operating system.
Linux kernel driver for Xbox One and Xbox Series X|S accessories