Q1-kernel a hybrid kernel
The classic RPL programming language reimplemented and reimagined.
Alternative operating system for x86 computers
freeRTOS for Arduino Uno, Goldilocks 1284p & Mega 2560
Free real-time operating system designed for microcontrollers
RTOS for Secure, Safe and Real-Time Systems
Written in pure ASM and Exode with cloud computing in mind.
Custom firmware and IDE for the VEX Cortex Microcontroller
Simple, Fast, Advanced... ZintoriOS. Made in Wellington, New Zealand
An operating system based upon the MOSA kernel.