mold-desktop

Apple Internals: Swift in the Kernel

C in the Linux Kernel

EC2’s formally verified “isolation engine” provides mathematical assurance of virtual-machine isolation

BPF support in GCC 16 and beyond

This Month in Rust OSDev: May 2026

An annotated digest of the 12th International Workshop on Plan 9

Designing microkernel IPC

Spork: A posix_spawn you can use as a fork

6.828: Operating System Engineering (2012)

EMA-XPS - Hybrid Graphic Expert System Shell

12th International Workshop on Plan 9 (Presentations)

Sculpt OS release 26.04

triad: data-oriented window manager for the River Wayland compositor

SLAM: s6/synit based NixOS

Oasis Linux

This Month in Rust OSDev: April 2026

Microsoft open sources DOS 1.00 on 45th anniversary

Principia Softwarica: Fundamental Literate System Programs

Corner-Case RCU Implementations

Plan 9 is a Uniquely Complete Operating System

An overview of NVMe and its support on Maestro

I just want simple S3

OverlayFS for RedoxOS

Using Discord on Plan 9

TimeCapsuleSMB: Hacking the Apple Time Capsule to run modern Samba

I ported Mac OS X to the Nintendo Wii

This Month in Rust OSDev: March 2026

ArcaOS 5.1.2 (based on OS/2 Warp 4.52) now available

curl > /dev/sda: How I made a Linux distro that runs wget | dd

More →