1.2 KiB
1.2 KiB
docs/formal/vol2-kernel/
Research volume II — LithosAnanke Kernel and Capsule System. Scope: bare-metal UEFI kernel (M0–M7), capsule birth protocol, word-level ACL, platform support, and the L8 Jacquard Mode Selector.
- main.tex — Volume entry point (title/author/date still
%% TODO(bob)). - ch01-kernel-architecture.tex — LithosAnanke Kernel Architecture.
- ch02-capsule-system.tex — Capsule System.
- ch03-acl-security.tex — Word-Level ACL and Security.
- ch04-platform-support.tex — Platform Support.
- ch05-jacquard.tex — L8 Jacquard Mode Selector.
- appA-qemu.tex — Appendix: QEMU Testing and Regression Baseline.
Built via make -C docs/formal vol2; output lands at
docs/formal/build/vol2/main.pdf.
See also
docs/lithosananke/README.md— the living kernel-branch documentation this volume draws from.docs/formal/README.md— the three research volumes this belongs to (withvol1-vm-physics/andvol3-research/).- Project root