Linux containers from scratch in C
STREAMS package for Linux kernel
Learning operating system development using Linux kernel and Raspberry
Testsuite to validate the reliability, robustness, stability of Linux.
OS bootable from Linux,Windows and others partitions as auxiliary OS
Free real-time operating system designed for microcontrollers
A dynamic language for system programming (LuaJIT fork)
32 bit VIRGO Linux Kernel
Test suite for Linux audit and related security functionality
linux syscall tracer
Linux source-level kernel debugger
64-BIt Operating System with Compiler
Another Real Time Kernel for Arduino
My changes to qemu for legacy free GPU passthrough
etcOS:easy text c operating system
Kernel module to manage Disc Stakka Units
Test project against the ADI Buildroot and Linux projects
A Simple 'IDE'A for Linux Kernel Developers
A monolithic flow based programming application