On Wed, Jun 30, 2021 at 10:49 AM Peter Chubb <[email protected]> wrote: > > >>>>> "Michael" == Michael Neises <[email protected]> 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 _______________________________________________ Devel mailing list -- [email protected] To unsubscribe send an email to [email protected]
