Bao, a Lightweight Static Partitioning Hypervisor - View it on GitHub