RTOS for Secure, Safe and Real-Time Systems
Real-Time Embedded Operating System
Open-source RTOS and Embedded Systems Toolkit for C++ and C
PRTOS is a simple, compact preemptive RTOS for embedded systems
ext2/3/4 library for microcontrollers
Mulithreading Arduno library
Lorena es un sistema operativo escrito en C, C++ y Ensamblador.
Efficient GPU kernels for block-sparse matrix multiplication
An operating system for tenputer
Run Linux on Windows or other OSes, natively.
Small real time operating system for AVR and ARM microcontrollers
An indie, hobby operating system
UEFI GTP fdisk is a disk partitionning tool running under UEFI/BIOS
Kestrel is an experimental kernel runs on i386
Neptune is a kernel and operating system for x86 PCs.
An open source OS written in assembly.
Embedded Real-Time Operating System (RTOS)