muen.codelabs.ch
Muen | SK for x86/64
https://muen.codelabs.ch/index.html
An x86/64 Separation Kernel for High Assurance. Muen uses Intel’s hardware-assisted virtualization technology VT-x as core mechanism to separate components. The kernel executes in VMX root mode, while user components, so called. Run in VMX non-root mode. Hardware passthrough is realized using Intel’s VT-d DMA and interrupt remapping technology. This enables the secure assignment of PCI devices to subjects. Muen is under active development and verification of kernel properties is ongoing. Running inside a...
muen.sk
Muen | SK for x86/64
https://www.muen.sk/index.html
An x86/64 Separation Kernel for High Assurance. Muen uses Intel’s hardware-assisted virtualization technology VT-x as core mechanism to separate components. The kernel executes in VMX root mode, while user components, so called. Run in VMX non-root mode. Hardware passthrough is realized using Intel’s VT-d DMA and interrupt remapping technology. This enables the secure assignment of PCI devices to subjects. Muen is under active development and verification of kernel properties is ongoing. Running inside a...