Secure by construction
A tiny privileged core. Drivers and services run unprivileged, each holding only the capabilities it was granted — grantable and revocable at runtime. A compromised driver can't take the machine. A post-quantum ML-KEM secret keys an encrypted channel between components.
crypto: channel session established (ML-KEM)