Microkernel L4RE

Wenn Sie keine CPU haben, die für Jailhouse geeignet ist, dann kann man, falls ein Hypervisor gewünscht ist, dies mit dem Microkernel L4RE lösen. L4RE ist ein Open Source Produkt und hat sich in vielen Anwendungen bereits bewährt. Es gibt davon auch Ausführungen, die Safety oder bestimmte Security Anforderungen erfüllen können.