today
- Deny-by-default policy core and hypercall validation
- AMD SVM
VMRUNwith real VM exits and a bounded, deny-first exit dispatcher - Owner-checked nested page tables, separate ASIDs and 256 parallel synthetic guest entries
- DMA and interrupt mediation against an emulated AMD-Vi IOMMU, with device quarantine
- Signed, TPM-measured diagnostic boot children
- Signed management commands, replay protection, audit history and two-of-three recovery approvals (prototypes)