Scalable, optimized, secure RTOS for multiple hardware architectures
Linux Kernel for Surface Devices
Your favorite operating systems in one place
The operating system and all related software
Market leading real time kernel for 40+ microcontroller architectures
Real-Time Event Frameworks based on active objects & state machines
AO RTOS is small real time OS based on Active Object concurrency model
The data science OS
freeRTOS for Arduino Uno, Goldilocks 1284p & Mega 2560
C++ embedded RTOS,TCP/IP,TLS,FAT,USB,PERIPHERALS,...
Cloud-native way to provide elastic Jupyter Notebooks on Kubernetes
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 preemptive embedded multi-thread kernel
Real-Time Embedded Operating System
Gatter Linux is a ubuntu base distrobution with openbox window manager
PRTOS is a simple, compact preemptive RTOS for embedded systems
Mulithreading Arduno library