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. Peter C -- Dr Peter Chubb https://trustworthy.systems/ Trustworthy Systems Group CSE, UNSW _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
