AO RTOS is small real time OS based on Active Object concurrency model
Indipendent distro uses inary package system. Sulin is roolling donkey
Simplest kernel for cooperative multithreading
RTOS for Secure, Safe and Real-Time Systems
A UNIX-like kernel for the i386 architecture
Run Linux on Windows or other OSes, natively.
CMAKE build enviroment for LPC2000 and LPC17xx Cortex MCUs
Kestrel is an experimental kernel runs on i386
A advanced graphical operating system.
Embedded Operating System
a very fast full system simulator
Project has been move to https://github.com/ciaa/Firmware
Hard Real-Time OS compliant to the Osek/Vdx standard.
Nanux Kernel
NuzulOS - pascal operating system
operating system for Intel 8086 / 8088
Danja Operating System