Building Mixed Criticality Linux Systems with the Jailhouse Hypervisor - Ralf Ramsauer