Bao: a lightweight static partitioning hypervisor
Bao: a lightweight static partitioning hypervisor
Posted May 20, 2020 17:55 UTC (Wed) by bittonye (guest, #138442)In reply to: Bao: a lightweight static partitioning hypervisor by Sesse
Parent article: Bao: a lightweight static partitioning hypervisor
Why not use Sel4 with Camkes VM? (https://docs.sel4.systems/projects/virtualization/)
Posted May 21, 2020 23:27 UTC (Thu)
by glenn (subscriber, #102223)
[Link]
Bao: a lightweight static partitioning hypervisor
Sel4 is great, but it has limitations. It's unable to support multi-socket/NUMA systems, for instance. This is an intentional design choice on the part of Sel4's developers.