Free real-time operating system designed for microcontrollers
RTOS for Secure, Safe and Real-Time Systems
Real-Time Embedded Operating System
32 bit VIRGO Linux Kernel
An operating system for tenputer
What you see, is what you get! GNU/Linux Arch Based Distro
A Simple 'IDE'A for Linux Kernel Developers
Small 32-bits operating system
Mayax is a 32-bit hobby OS with windows style GUI.