[seL4] Re: Tutorial Problem

On Wed, Jun 30, 2021 at 10:49 AM Peter Chubb wrote:

...

...

...

...

...

"Michael" == Michael Neises 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