A multiboot cd with six mini Linux Systems
Debian Bullseye with the Mate desktop environment
Free cooperative operating system designed for microcontrollers
Free real-time operating system designed for microcontrollers
RTOS for Secure, Safe and Real-Time Systems
An open source OS written in assembly.
The CK 64-Bit Kernel Operating System