A Scala kernel for Jupyter
Winux Operating System by Linuxfx
Market leading real time kernel for 40+ microcontroller architectures
QNAP GPL Source
Real-Time Event Frameworks based on active objects & state machines
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
Alternative operating system for x86 computers
freeRTOS for Arduino Uno, Goldilocks 1284p & Mega 2560
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.
The smallest and the most powerful operating system.
C++ embedded RTOS,TCP/IP,TLS,FAT,USB,PERIPHERALS,...
OS-9/6809 compatible operating system for Tandy CoCo and Dragon
Indipendent distro uses inary package system. Sulin is roolling donkey
OS bootable from Linux,Windows and others partitions as auxiliary OS
RTOS for Secure, Safe and Real-Time Systems