CMAKE build enviroment for LPC2000 and LPC17xx Cortex MCUs
Kestrel is an experimental kernel runs on i386
AO RTOS is small real time OS based on Active Object concurrency model
cMIPS - an FPGA ready VHDL model for 5-stage pipeline, MIPS32r2 core
Neptune is a kernel and operating system for x86 PCs.
Embedded Operating System
An open source OS written in assembly.
Embedded Real-Time Operating System (RTOS)
PlayStation 2 emulator for Windows and Linux
Oso32 es un diminuto sistema operativo para fines didácticos
a very fast full system simulator
Custom firmware and IDE for the VEX Cortex Microcontroller
Simple, Fast, Advanced... ZintoriOS. Made in Wellington, New Zealand
a secure, open source OS for use inside USEagency facilities
Crosos is a SubLinux Distribution