On Wed, Jun 30, 2021 at 10:49 AM Peter Chubb peter.chubb@unsw.edu.au wrote:
"Michael" == Michael Neises neisesmichael@gmail.com writes:
Michael> When I try to run "./simulate" I get the following error:
The camkes-vm-linux tutorial requires extra arguments for the simulation script such that qemu allows nested virtualization. This should be documented at the start of the tutorial's markdown file that is generated, but it is also here: https://docs.sel4.systems/Tutorials/camkes-vm-linux.html#background