Microkernel L4RE

If you do not have a CPU that is suitable for Jailhouse, then, if a hypervisor is desired, this can be solved with the L4RE microkernel. L4RE is an open source product and has already proven itself in many applications. There are also versions that can fulfill safety or certain security requirements.