第2章
基于分离内核的嵌入式Hypervisor

分离内核是一种用于在嵌入式系统中实现虚拟化的架构，它将系统资源分隔为多个互相隔离的分区，从而实现多个虚拟机的并行。尽管在服务器和桌面计算机领域存在一些试图规范化Hypervisor行为的标准，但是对一些专业术语的使用仍然没有统一的规范，为了便于表述，本章约定了一些专用术语的概念。

❑APEX：应用运行时环境。

❑HM：健康监控（Health Monitor）

❑IPC：分区间通信（Inter Partition Communication）。

❑MAF：主时间帧（Major Frame）。

❑MMU：内存管理单元（Memory Management Unit）。

❑MPU：内存保护单元（Memory Protection Unit）。

❑RSW：常驻软件（Resident Software，是内置在PRTOS系统映像中的引导程序）。

❑SKH：分离内核Hypervisor（Separation Kernel Hypervisor）。

基于分离内核的SKH通常用于需要高可靠性和安全性的嵌入式系统，例如航空航天、军事和工业控制等领域。以应用在航空电子设备上的嵌入式系统为例，ARINC653标准基于分离内核和分区概念定义了分区API和对应的行为以及在每个分区内管理线程或进程的方法，并提供了一个完整的APEX。