Scalable, optimized, secure RTOS for multiple hardware architectures
Market leading real time kernel for 40+ microcontroller architectures
Real-Time Event Frameworks based on active objects & state machines
freeRTOS for Arduino Uno, Goldilocks 1284p & Mega 2560
Linux 4.9 Kernel for Xiaomi Mi A1 aka Tissot
Free real-time operating system designed for microcontrollers
RTOS for Secure, Safe and Real-Time Systems
Real-Time Embedded Operating System
PRTOS is a simple, compact preemptive RTOS for embedded systems
Mulithreading Arduno library
Small real time operating system for AVR and ARM microcontrollers
A Simple 'IDE'A for Linux Kernel Developers
Embedded Real-Time Operating System (RTOS)
Custom firmware and IDE for the VEX Cortex Microcontroller
Yet another Kernel - clone the git repo for newest version
Hard Real-Time OS compliant to the Osek/Vdx standard.
Scheduler for reconfigurable hardware
Mayax is a 32-bit hobby OS with windows style GUI.