Tag
This article details the process of making Xen's dom0 I/O path NUMA aware, including fixes for memory placement and topology synthesis, as part of a series on NUMA optimization for Xen hypervisor.
elfuse is a lightweight, process-scoped runtime that runs Linux ELF binaries natively on macOS Apple Silicon without Docker or full VMs, using Hypervisor.framework and optionally Rosetta for x86_64 translation.
Antithesis describes its custom deterministic hypervisor and subtree deduplication technique for efficient, repeatable whole-system fuzz testing at cloud scale.
AWS announced the Nitro Isolation Engine, the first formally verified cloud hypervisor component, providing mathematical assurance of virtual machine isolation on new Graviton5-based EC2 instances. The verification uses Isabelle/HOL and comprises 330,000 lines of machine-checked mathematics.
A detailed guide on installing SmartOS on a datacenter machine without physical access or remote KVM, using VirtualBox to create a template ZPOOL image.