uXen - a type-2 hypervisor