Automotive systems are evolving towards virtualization of a large and powerful SoC to control independent systems in the car. There is thus a growing need to virtualize display in an efficient and sec …

QEMU (the open source machine emulator and virtualizer) and the libvirt API allow a variety of ways in which CPUs can be configured for virtual machines (VMs). In light of the recent CPU hardware flaw …