Hi Michael

...

...

...

...

"Michael" == Michael Neises writes:

Michael> The tutorials provided here are failing to build for me: Michael> https://github.com/seL4/sel4-tutorials Michael> Here are the steps to reproduce the errors: Michael> git clone git@github.com:seL4/seL4-CAmkES-L4v-dockerfiles.git Michael> && git clone git@github.com:seL4/sel4-tutorials.git && make Michael> -C ./seL4-CAmkES-L4v-dockerfiles user HOST_DIR=$(pwd)\ You probably want to use sel4-tutorials-manifest and the repo tool to set up the build tree correctly. seL4-tutorials only has part of the tree. https://docs.sel4.systems/Tutorials/ has the instructions. Peter C -- Dr Peter Chubb https://trustworthy.systems/ Trustworthy Systems Group CSE, UNSW

Thank you for the quick responses! I am now bumping into a new problem. Steps taken: mkdir sel4-tutorials-manifest cd sel4-tutorials-manifest repo init -u https://github.com/SEL4PROJ/sel4-tutorials-manifest repo sync # creating a Tutorial directory mkdir tutorial cd tutorial # initialising the build directory with a tutorial exercise ../init --plat pc99 --tut camkes-vm-linux # building the tutorial exercise ninja When I try to run "./simulate" I get the following error: ./simulate: qemu-system-x86_64 -cpu Nehalem,+vme,+pdpe1gb,-xsave,-xsaveopt,-xsavec,-fsgsbase,-invpcid,+syscall,+lm,enforce -nographic -serial mon:stdio -m size=512M -kernel images/kernel-x86_64-pc99 -initrd images/capdl-loader-image-x86_64-pc99 qemu-system-x86_64: warning: TCG doesn't support requested feature: CPUID.01H:EDX.vme [bit 1] qemu-system-x86_64: TCG doesn't support requested features I thought this might have to do with my host machine, so I tried the same steps with both an Intel and AMD processor, but I got the same error. On both machines I have no problem building camkes projects and simulating with qemu-system-arm, so I might like to use zynq7000 instead of pc99, but the camkes-vm-linux project only supports pc99. Could you point me in the right direction once more? Best, Michael Neises On Tue, Jun 29, 2021 at 6:47 PM Gerwin Klein wrote:

...

On 30 Jun 2021, at 09:24, Peter Chubb wrote:

Hi Michael

...

...

...

...

> "Michael" == Michael Neises writes:

Michael> The tutorials provided here are failing to build for me: Michael> https://github.com/seL4/sel4-tutorials

Michael> Here are the steps to reproduce the errors:

Michael> git clone git@github.com:seL4/seL4-CAmkES-L4v-dockerfiles.git Michael> && git clone git@github.com:seL4/sel4-tutorials.git && make Michael> -C ./seL4-CAmkES-L4v-dockerfiles user HOST_DIR=$(pwd)\

You probably want to use sel4-tutorials-manifest and the repo tool to set up the build tree correctly. seL4-tutorials only has part of the tree.

https://docs.sel4.systems/Tutorials/ has the instructions.

It turns out we only really say that hidden behind a link at the end of the README. Sorry about that, this must have confused lots of people.

I've added a PR to make this clearer for when you get to the tutorials via the tutorial repo and not the docs site: https://github.com/seL4/sel4-tutorials/pull/58

Cheers, Gerwin

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