Linux kernel source tree

Modern HTTP benchmarking tool

How to create an OS from scratch

Cross-platform asynchronous I/O

A very compact representation of a placeholder for an image.

Learning operating system development using Linux kernel and Raspberry Pi

Writing a sqlite clone from scratch in C

Xv6 for RISC-V

xv6 OS

The seL4 microkernel

TinyVM is a small, fast, lightweight virtual machine written in pure ANSI C.

A C++ bare metal environment for Raspberry Pi with USB (32 and 64 bit)

GNU Libc - Extremely old repo used for research purposes years ago. Please do not rely on this repo.

Unofficial mirror of sourceware glibc repository.

A fast, hackable and simple x64 VT-x hypervisor for Windows and Linux. Builtin userspace sandbox and introspection engine.

A simple HTTP server written from scratch as a teaching tool to teach Unix network program architectures

TPC-H dbgen

This is the public release of the ffwd delegation system, and associated benchmarks from the SOSP'17 paper.

Automated tests used for functional and regression testing of PACStack instrumented binaries.