Architecture
Relevant source files
The architecture section describes the implemented system at the release/v0.5.0-alpha.3 ref: subsystem boundaries, invariants, control flow, ownership and trust relationships. Proposed changes live in docs/design/active/ until they land; the repository keeps architecture docs strictly descriptive of the current tree.
| Page | What it covers |
|---|---|
| System Overview | Layering, authority order, runtime ownership, known assurance limits |
| Boot Flow | Limine (x86_64) and firmware/DTB (AArch64) entry through kernel::init to /bin/init |
| Memory | Physical allocator, heap sizing, AddressSpace, mapping transactions, TLB shootdown, user-copy boundary, fault policy |
| Kernel Crate Boundaries | Which crate or kernel/src module owns each policy |
| Scheduling & Locking | Per-CPU run queues, wait protocol, lock ranks, interrupt rules |
| Build Ownership | Root runner and build.rs vs. xtask vs. scripts/ |
| Protocols & ABI | Syscall ABI v1, sys_bpf commands, rk-bridge JSON stream, Shrike-link UART frames |
Authority order
When documents disagree, the repository resolves them in this order (system-overview.md ):
- Generated authorities under
docs/reference/generated(ABI, targets, components, artifacts, build inputs, quality). - Accepted decisions under
docs/decisions. - Current architecture documents.
- Source code and its required gate evidence.
- Archived and legacy documents (historical only).
Last updated on