Linux-based partitioning hypervisor