Blazingly Fast & Customizable Linux distribution
Your concierge creating a Rich experience to Arch
Market leading real time kernel for 40+ microcontroller architectures
A tapas/topaz/sapphire kernel optimized for smoothness and low-memory
Mirror of: https://github.com/osdldbt/
Software development for 4Mb portable, using Z80 CPU and AA batteries
Real-Time Event Frameworks based on active objects & state machines
An ADL-mode rewrite of the ez80 CP/M 3.1 port
Tool kit for building highly secure special-purpose operating systems
Get latest Edition here: http://www.openqrm-enterprise.com.
freeRTOS for Arduino Uno, Goldilocks 1284p & Mega 2560
A cute and educational x86 OS
Indipendent distro uses inary package system. Sulin is roolling donkey
https://github.com/libcgroup/libcgroup
Linux 4.9 Kernel for Xiaomi Mi A1 aka Tissot
OS bootable from Linux,Windows and others partitions as auxiliary OS
Free real-time operating system designed for microcontrollers
UNIX/LINUX and legal homebrew software on the xbox360 gaming console
Real-Time Embedded Operating System
NetFlow iptables module for Linux kernel