标签
AWS 宣布推出 Nitro 隔离引擎,这是首个经过形式化验证的云虚拟机管理程序组件,为基于 Graviton5 的新 EC2 实例提供虚拟机隔离的数学保证。该验证使用了 Isabelle/HOL,包含 330,000 行经过机器检查的数学内容。
一份详细的指南,介绍如何在无物理访问或远程KVM的情况下,在数据中心机器上安装SmartOS,并使用VirtualBox创建模板ZPOOL镜像。