Forth & Lisp Operating System
Neptune is a kernel and operating system for x86 PCs.
A Simple 'IDE'A for Linux Kernel Developers
An open source OS written in assembly.
Embedded Operating System
Embedded Real-Time Operating System (RTOS)
a very fast full system simulator
Custom firmware and IDE for the VEX Cortex Microcontroller
Pre-Alpha Console distro for high performance Linux computing.
Custom kernel for Chakra Linux that contains Con Kolivas' CK patchset
Simple, Fast, Advanced... ZintoriOS. Made in Wellington, New Zealand
Crosos is a SubLinux Distribution
Project has been move to https://github.com/ciaa/Firmware
C++ library for POSIX systems.
A Linux Proaudio FrameWork with improved Wine/kernel(rt) support
Yet another Kernel - clone the git repo for newest version
Hard Real-Time OS compliant to the Osek/Vdx standard.