The first operating system mechanically verified to ensure type safety including each assembly language instruction that runs after booting which is statically verified.
它是第一个能够从机制上验证以保证安全性的操作系统，其中包括的所有汇编语言指令都在启动时经过了静态验证，然后才会运行。
The VMRUN instruction allows a virtual machine (and its associated guest operating system) to run until the VMM regains control (which is also configurable).
VMRUN指令允许虚拟机(及其相关的客户操作系统)一直运行，直到VMM重新获得控制权为止(这也是可配置的)。
The VMRUN instruction allows a virtual machine (and its associated guest operating system) to run until the VMM regains control (which is also configurable).
VMRUN指令允许虚拟机(及其相关的客户操作系统)一直运行，直到VMM重新获得控制权为止(这也是可配置的)。
应用推荐