[seL4] Re: Tutorial Problem

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