#![no_std]

//! Bounded stage1 descriptors and Registry-owned table lifetimes: 4KiB,
//! low TTBR0 39/48-bit VA, <=48-bit PA, direct AP/PXN/UXN permissions,
//! MAIR slot0 Normal WB and slot1 Device. A trusted backend performs actual
//! table accesses, synchronized control writes and completed TLB retirement.
//! Data owners survive root replacement; shared kernel tables stay borrowed.

pub mod descriptor;
pub mod tree;