overview of hypervisor for embeded systems