30 lines
1.2 KiB
Markdown
30 lines
1.2 KiB
Markdown
# 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)
|