Bao: a lightweight static partitioning hypervisor

Posted May 20, 2020 16:38 UTC (Wed) by Sesse (subscriber, #53779)
Parent article: Bao: a lightweight static partitioning hypervisor

So now, we have Boa, a lightweight web server with only one thread, and Bao, a lightweight hypervisor with only one user per thread? :-)

Bao: a lightweight static partitioning hypervisor

Posted May 20, 2020 17:55 UTC (Wed) by bittonye (guest, #138442) [Link] (1 responses)

Why not use Sel4 with Camkes VM? (https://docs.sel4.systems/projects/virtualization/)

Bao: a lightweight static partitioning hypervisor

Posted May 21, 2020 23:27 UTC (Thu) by glenn (subscriber, #102223) [Link]

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.