Market leading real time kernel for 40+ microcontroller architectures
Building and running ancient Linux on Windows
A tapas/topaz/sapphire kernel optimized for smoothness and low-memory
Cluster wide IPC providing datagram, connection, and bus messaging
Mirror of: https://github.com/osdldbt/
A hobby micro-kernel operating system
Musician-oriented Linux distro
Identify any kernel core dump file
Linux kernel module for the EMU3 filesystem
It's a personal microkernel project designed as a learning ground.
Get latest Edition here: http://www.openqrm-enterprise.com.
AO RTOS is small real time OS based on Active Object concurrency model
Jupyter kernel for Coq
Alternative operating system for x86 computers
Vampire OS is the alternative to Windows and macOS
A cute and educational x86 OS