Bao: A Lightweight Static Partitioning Hypervisor for Modern Multi-Core Embedded Systems Artigo de Conferência