OS Internals Local Mirror

Small private mirror of operating systems coursework, kernel reading group materials, and architecture references. Mostly used for offline study during commutes and on slow connections.

Recent additions

9front-11554.amd64.iso.gz — 232 MB 9front 11554 bootable amd64, 2026-01
openbsd-7.9-src.tar.gz — 204 MB OpenBSD 7.9 src, 2026-04
linux-6.6.30.tar.xz — 137 MB Linux LTS 6.6.30, 2026-04
sel4-13.0.0.tar.gz — 1.7 MB seL4 microkernel 13.0.0, 2026-01
riscv-isa-manual.pdf — 765 KB RISC-V privileged ISA, 2025
dijkstra-the-multiprogramming-1968.pdf — 345 KB Dijkstra E.W., THE system, 1968
xv6-riscv-2024.tar.gz — 77 KB MIT 6.S081 xv6 RISC-V, 2026-02

Kernels & Sources

Browse all in /software-releases/ →

Linux LTS series — 6.6 LTS
BSD family — OpenBSD 7.9 src
Teaching kernels — xv6 RISC-V
Microkernels — seL4 13.0.0
Plan 9 / 9front — 9front 11554 ISO

Reading material

Browse all in /papers/ →

Computer architecture — RISC-V ISA manual
Scheduling and concurrency — Dijkstra THE, 1968

Personal cache. Nothing here is canonical — refer to original project sites for verified sources.

Last reindex: 2026-05-23