16 bit real mod minecraft clone running in bios
Tool kit for building highly secure special-purpose operating systems
A hobby micro-kernel operating system
Low power application-configurable Operating System
Linux Kernel Updater
Identify any kernel core dump file
Linux kernel module for the EMU3 filesystem
Cluster wide IPC providing datagram, connection, and bus messaging
AO RTOS is small real time OS based on Active Object concurrency model
Musician-oriented Linux distro
Memory manager for Free Pascal
Jupyter kernel for Coq
Building and running ancient Linux on Windows
Hobby operating system, bootloader, kernel, drivers, C library
Alternative operating system for x86 computers
Thread Scheduler with custom asynchronous messaging in VC++
Linux For Christians