# 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](main.tex)** — Volume entry point (title/author/date still
  `%% TODO(bob)`).
- **[ch01-kernel-architecture.tex](ch01-kernel-architecture.tex)** —
  LithosAnanke Kernel Architecture.
- **[ch02-capsule-system.tex](ch02-capsule-system.tex)** — Capsule System.
- **[ch03-acl-security.tex](ch03-acl-security.tex)** — Word-Level ACL and
  Security.
- **[ch04-platform-support.tex](ch04-platform-support.tex)** — Platform
  Support.
- **[ch05-jacquard.tex](ch05-jacquard.tex)** — L8 Jacquard Mode Selector.
- **[appA-qemu.tex](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`](../../lithosananke/README.md) — the
  living kernel-branch documentation this volume draws from.
- [`docs/formal/README.md`](../README.md) — the three research volumes
  this belongs to (with `vol1-vm-physics/` and `vol3-research/`).
- [Project root](../../../README.md)