Linux Kernel source tree
eBPF-based Linux kernel networking debugger
Tools for BPF-based Linux IO analysis, networking, monitoring, etc.
A UNIX-like kernel for the i386 architecture
Extremely fast compression algorithm
Scalable, optimized, secure RTOS for multiple hardware architectures
Ncurses-based monitoring application for wireless network devices
A Swiss army knife for your daily Linux network plumbing
Helping students read all the code of a teaching operating system
Emulating Apple Silicon devices
This is the stress-ng upstream project git repository.
A small operating system where I experiment and learn osdev
The systemd system and service manager
Market leading real time kernel for 40+ microcontroller architectures
Real-Time Event Frameworks based on active objects & state machines
Linux GPIB Driver package (source)
Educational Linux Distribution
A bleeding-edge, security-centric Arch-based Linux distribution.
It's a personal microkernel project designed as a learning ground.
Onix