Virtualization plays an important role for embedded systems where hardware support can prove beneficial, but these systems also pose a challenge due to power, resource constraints; reliability, safety, real-time requirements; diversity of devices, and operating systems. Therefore a trade-off between flexibility, determinism and performance exists in the embedded application domain. As virtualization in software always incurs overhead due to context switching, interrupt handling, etc. the aim is to minimize the overhead and make execution more deterministic using hardware support.