[seL4] Re: Tutorial Problem

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