Curated source guide

seL4 source explorer

Explore the seL4 microkernel source code interactively. Study capability-based isolation, kernel boot flow, generated syscalls, scheduling, and architecture ports in seL4 15.0.0.

Guide chapters

1. Chapter 1 — What seL4 Is Optimized For
2. Chapter 2 — Boot and Architecture Bring-Up
3. Chapter 3 — Capabilities and Kernel Objects
4. Chapter 4 — Generated ABI and User-Level Bindings
5. Chapter 5 — Scheduling, Faults, and MCS
6. Chapter 6 — Ports and Configurations

Key directories

• configs/ — Kernel configuration entry point for build-time options and feature selection
• manual/ — Reference manual entry point and documentation structure
• include/ — Generated kernel configuration header consumed by C and assembly code
• include/api/ — Public kernel ABI types that anchor the user-facing contract
• src/kernel/ — Kernel bootstrap logic that connects architecture bring-up to the initial kernel state
• include/kernel/ — Shared boot-time declarations used by the kernel and architecture layers