B6 prerequisite: ADR-0033 high-half kernel migration + T-022 (boot-time kernel → TTBR1)#36

Merged

cemililik merged 7 commits into

mainfrom

t-022-high-half-kernel-mapping

May 30, 2026

Commits on May 29, 2026

docs(adr): propose ADR-0033 — kernel high-half migration

cemililik
and
claude
committed
docs(adr): ADR-0033 review-round — ASID policy, dual PA↔VA offsets, early-symbol contract, AP pins

cemililik
and
claude
committed

Commits on May 30, 2026

docs(adr): Accept ADR-0033 — kernel high-half migration

cemililik
and
claude
committed
feat(mmu): T-022 — boot-time high-half kernel migration (ADR-0033)

cemililik
and
claude
committed
fix(mmu): T-022 review-round — activate EPD0 clear, cfg idiom, contract/doc fixes

cemililik
and
claude
committed
fix(mmu): T-022 PR review-round 2 — named TCR/mask consts, range asserts, panic-handler regime fallback

cemililik
and
claude
committed
fix(mmu): T-022 PR review-round 3 — ADR-0033 single-offset rider, boot.md ENTRY/linker reconcile, hard direct-map asserts

cemililik
and
claude
committed