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
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
Custom firmware and IDE for the VEX Cortex Microcontroller
Simple, Fast, Advanced... ZintoriOS. Made in Wellington, New Zealand
a very fast full system simulator
a secure, open source OS for use inside USEagency facilities
Crosos is a SubLinux Distribution