CHERI Virtual Machines Working Group

Virtual machines and hypervisors enable secure multi‑tenancy and resource isolation. The CHERI Virtual Machines working group investigates how CHERI capabilities can improve virtualisation platforms. Topics include adding CHERI support to hypervisors, ensuring guest isolation using hardware‑enforced compartments and leveraging capabilities for secure device emulation. Members collaborate with projects like Xen and KVM and build on the general goals of the CHERI working groups【836580014068630†L152-L156】【836580014068630†L162-L250】.