Scalable, optimized, secure RTOS for multiple hardware architectures
Hobby operating system, bootloader, kernel, drivers, C library
Rust Linux-compatible kernel
A Scala kernel for Jupyter
Boots into many systems and GRUB2 ones!
Market leading real time kernel for 40+ microcontroller architectures
Debian Trixie with the Mate desktop environment
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.
Secure file transfer with SSH
AliOS Things latest version
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
Run Linux on Windows or other OSes, natively.