Linux Kernel Manager and Activity Monitor
Market leading real time kernel for 40+ microcontroller architectures
Free operating system for Atari computers, and more.
Real-Time Embedded Frameworks based on active objects & state machines
A cute and educational x86 OS
A microkernel-based multiserver operating system written from scratch.
The smallest and the most powerful operating system.
Cloud-native way to provide elastic Jupyter Notebooks on Kubernetes
Free cooperative operating system designed for microcontrollers
Free real-time operating system designed for microcontrollers
RTOS for Secure, Safe and Real-Time Systems
Open-source RTOS and Embedded Systems Toolkit for C++ and C
My FreeDOS Floppy Disk Distribution
ext2/3/4 library for microcontrollers
Tool allowing you to put a Linux distro on a USB drive.
A Practical Lock-Free General Purpose Operating System