2.2.1 基于分离内核的Hypervisor实现

因为SKH行为上类似于传统的基于RTOS扩展的Hypervisor,所以这两者经常被混淆。比如许多由GPOS和RTOS经过扩展而来的Hypervisor也被描述成Ⅰ型Hypervisor或者裸机Hypervisor。但这类Hypervisor本质上都是被托管的Hypervisor(Hosted Hypervisor),即Ⅱ型Hypervisor。换句话说,即使宿主操作系统是一个小型的RTOS,但它仍然是操作系统。而SKH是一个真正无托管的裸机Hypervisor实现。SKH不承担辅助RTOS的功能,即使这些功能很简单。之所以这样做,并不是因为这类辅助功能实现的大小问题,而是没有这些功能SKH的内核会更干净、安全,并且与RTOS无关。