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.
Embedded Operating System
An open source OS written in assembly.
Embedded Real-Time Operating System (RTOS)
Custom firmware and IDE for the VEX Cortex Microcontroller
Simple, Fast, Advanced... ZintoriOS. Made in Wellington, New Zealand
a very fast full system simulator
Crosos is a SubLinux Distribution
Project has been move to https://github.com/ciaa/Firmware
Yet another Kernel - clone the git repo for newest version
Hard Real-Time OS compliant to the Osek/Vdx standard.
Nanux Kernel