Small real time operating system for AVR and ARM microcontrollers
This will be an operating system
An indie, hobby operating system
UEFI GTP fdisk is a disk partitionning tool running under UEFI/BIOS
Tool allowing you to put a Linux distro on a USB drive.
CMAKE build enviroment for LPC2000 and LPC17xx Cortex MCUs
Configuration tools for the Linux NetLabel subsystem
High level interface to the Linux Kernel's seccomp filter
What you see, is what you get! GNU/Linux Arch Based Distro
Kestrel is an experimental kernel runs on i386
Forth & Lisp Operating System
C++ RTOS for my mustang ECU project
A Simple 'IDE'A for Linux Kernel Developers