Forth & Lisp Operating System
Neptune is a kernel and operating system for x86 PCs.
An open source OS written in assembly.
Embedded Operating System
A Simple 'IDE'A for Linux Kernel Developers
Embedded Real-Time Operating System (RTOS)
a very fast full system simulator
Custom firmware and IDE for the VEX Cortex Microcontroller
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.
Yet another Kernel - clone the git repo for newest version
Hard Real-Time OS compliant to the Osek/Vdx standard.
LinuxID is an easy console-service for distro identification and more!