> On 30 Jun 2021, at 09:24, Peter Chubb <peter.ch...@unsw.edu.au> wrote:
>
> Hi Michael
>>>>>> "Michael" == Michael Neises <neisesmich...@gmail.com> 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 g...@github.com:seL4/seL4-CAmkES-L4v-dockerfiles.git
> Michael> && git clone g...@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
_______________________________________________
Devel mailing list -- devel@sel4.systems
To unsubscribe send an email to devel-leave@sel4.systems
