PikeOS is a commercial hard real-time operating system which features a separation kernel-based hypervisor. This hypervisor supports multiple logical partition types for various operating systems and applications, each referred to as a GuestOS. Wikipedia