hypervisor

本文详细介绍了使Xen的dom0 I/O路径具备NUMA感知能力的过程，包括内存放置和拓扑合成的修复，这是关于Xen虚拟机监控器NUMA优化系列的一部分。

elfuse 是一个轻量级的进程级运行时，可在 macOS Apple Silicon 上原生运行 Linux ELF 二进制文件，无需 Docker 或完整虚拟机，使用 Hypervisor.framework 并可选择 Rosetta 进行 x86_64 转换。

Antithesis 描述了其定制的确定性虚拟机监控器和子树去重技术，用于在云规模上进行高效、可重复的全系统模糊测试。

AWS 宣布推出 Nitro 隔离引擎，这是首个经过形式化验证的云虚拟机管理程序组件，为基于 Graviton5 的新 EC2 实例提供虚拟机隔离的数学保证。该验证使用了 Isabelle/HOL，包含 330,000 行经过机器检查的数学内容。

一份详细的指南，介绍如何在无物理访问或远程KVM的情况下，在数据中心机器上安装SmartOS，并使用VirtualBox创建模板ZPOOL镜像。