AO RTOS is small real time OS based on Active Object concurrency model
Tool kit for building highly secure special-purpose operating systems
Intel Bluetooth Kernel Extensions for macOS
Software development for 4Mb portable, using Z80 CPU and AA batteries
Jupyter kernel for Coq
Alternative operating system for x86 computers
Thread Scheduler with custom asynchronous messaging in VC++
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.
Shastra OS is a Arch Linux based Operating System.
Portable Penetration Testing Operating System
Just bring Linux for a better world
Latest Android builds from PixelBoot.
Linux kernel driver for Xbox One and Xbox Series X|S accessories
C++ embedded RTOS,TCP/IP,TLS,FAT,USB,PERIPHERALS,...
Casper-fs is a Custom LKM generator to protect and hide files.
Cloud-native way to provide elastic Jupyter Notebooks on Kubernetes