On Wed, Jun 30, 2021 at 10:49 AM Peter Chubb <peter.ch...@unsw.edu.au> wrote: > > >>>>> "Michael" == Michael Neises <neisesmich...@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 _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
