Android, DOS, FirefoxOS, Linux, MacOS and Windows all in one..
Small real time operating system for AVR and ARM microcontrollers
A Haskell kernel for the Jupyter project
A Development Framework for Coldfire
An indie, hobby operating system
UEFI GTP fdisk is a disk partitionning tool running under UEFI/BIOS
CMAKE build enviroment for LPC2000 and LPC17xx Cortex MCUs
Kestrel is an experimental kernel runs on i386
Neptune is a kernel and operating system for x86 PCs.
An open source OS written in assembly.
A small operating system, compatible with MS-DOS, written in assemly
Embedded Real-Time Operating System (RTOS)
A new OS
a very fast full system simulator
Simple, Fast, Advanced... ZintoriOS. Made in Wellington, New Zealand
Custom firmware and IDE for the VEX Cortex Microcontroller