Linux Kernel source tree
Scalable, optimized, secure RTOS for multiple hardware architectures
Linux Kernel Manager and Activity Monitor
Market leading real time kernel for 40+ microcontroller architectures
Real-Time Event Frameworks based on active objects & state machines
Cluster wide IPC providing datagram, connection, and bus messaging
amforth is an extendible interpreter on microcontrollers
AO RTOS is small real time OS based on Active Object concurrency model
freeRTOS for Arduino Uno, Goldilocks 1284p & Mega 2560
C++ embedded RTOS,TCP/IP,TLS,FAT,USB,PERIPHERALS,...
Scripts to build a custom Linux system for 16MB Netpliance I-Opener.
Free cooperative operating system designed for microcontrollers
Free real-time operating system designed for microcontrollers
RTOS for Secure, Safe and Real-Time Systems
Open-source RTOS and Embedded Systems Toolkit for C++ and C
Real-Time Embedded Operating System
PRTOS is a simple, compact preemptive RTOS for embedded systems
ext2/3/4 library for microcontrollers
Script to make partitions, format and install embedded Linux files.