Scalable, optimized, secure RTOS for multiple hardware architectures
A Scala kernel for Jupyter
Rust Linux-compatible kernel
Market leading real time kernel for 40+ microcontroller architectures
QNAP GPL Source
A python Linux Kernel Simulator
Jupyter kernel for Coq
Alternative operating system for x86 computers
freeRTOS for Arduino Uno, Goldilocks 1284p & Mega 2560
The smallest and the most powerful operating system.
C++ embedded RTOS,TCP/IP,TLS,FAT,USB,PERIPHERALS,...
OS bootable from Linux,Windows and others partitions as auxiliary OS
Free real-time operating system designed for microcontrollers
RTOS for Secure, Safe and Real-Time Systems
x86-64 os made in crystal
Open-source RTOS and Embedded Systems Toolkit for C++ and C
Efficient GPU kernels for block-sparse matrix multiplication
Java dwarf library
Run Linux on Windows or other OSes, natively.
A Haskell kernel for the Jupyter project
A Development Framework for Coldfire