Hi minimalists :) In case you hadn't yet come across this (LWN did a piece [5] about a year ago, which was the first I heard of it. (Chasing a dream led me to check more current status) Enjoy :)
[1] https://drops.dagstuhl.de/opus/volltexte/2020/11779/pdf/OASIcs-NG-RES-2020-3.pdf [2] https://github.com/bao-project/bao-demos [3] https://github.com/bao-project/bao-hypervisor [4] https://github.com/bao-project/bao-hypervisor#readme [5] https://lwn.net/Articles/820830/ To whet your appetite (from the README at [4]): --8<---------------cut here---------------start------------->8--- Bao has no external dependencies, such as on privileged VMs running untrustable, large monolithic general-purpose operating systems (e.g., Linux), and, as such, encompasses a much smaller TCB. Bao originally targets the Armv8-A architecture, but there is experimental support for the RISC-V architecture. The full list of supported (and work in progress) platforms is presented below: - [x] Xilinx Zynq UltraScale+ MPSoC ZCU102 (Armv8-A) - [x] Xilinx Zynq UltraScale+ MPSoC ZCU104 (Armv8-A) - [x] Ultra96 Zynq UltraScale+ ZU3EG (Armv8-A) - [x] 96Boards HiKey 960 (Armv8-A) - [ ] NXP MCIMX8M-EVK (Armv8-A) - wip - [ ] NXP MCIMX8QM-CPU (Armv8-A) - wip - [ ] 96Boards ROCK960 (Armv8-A) - wip - [ ] QEMU virt (Armv8-A) - wip - [ ] QEMU virt (RISC-V rv64) - wip **NOTE**: This is work in progress! Don't expect things to be complete. Use at your own risk. --8<---------------cut here---------------end--------------->8--- -- Regards, Bengt Richter