[seL4] Re: Tutorial Problem

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