Hi Michael >>>>> "Michael" == Michael Neises <[email protected]> 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 [email protected]:seL4/seL4-CAmkES-L4v-dockerfiles.git Michael> && git clone [email protected]: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 -- [email protected] To unsubscribe send an email to [email protected]
