The first operating system mechanically verified to ensure type safety including each assembly language instruction that runs after booting which is statically verified.

它是第一个能够从机制上验证以保证安全性的操作系统，其中包括的所有汇编语言指令都在启动时经过了静态验证，然后才会运行。

youdao

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重新获得控制权为止(这也是可配置的)。

youdao

External setting and keeping module is the interface of user administration and system control. User can get system info or change operating mode of system by inputting instruction.

外部设定与保守模块主是用户管理和系统控制的接口，用户可以通过输入系统命令获得系统信息或者改变系统的工作状态。

youdao