A tool for automating the installation of Windows OS
OS bootable from Linux,Windows and others partitions as auxiliary OS
RTOS for Secure, Safe and Real-Time Systems
Real-Time Embedded Operating System
Open-source RTOS and Embedded Systems Toolkit for C++ and C
A Debug style tool for OS Free systems
PRTOS is a simple, compact preemptive RTOS for embedded systems
ext2/3/4 library for microcontrollers
Mulithreading Arduno library
Efficient GPU kernels for block-sparse matrix multiplication
An operating system for tenputer
Run Linux on Windows or other OSes, natively.
Android, DOS, FirefoxOS, Linux, MacOS and Windows all in one..
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
CMAKE build enviroment for LPC2000 and LPC17xx Cortex MCUs