Hypervisor technology: a foundation for critical automotive embedded systems