Hey Amit, I can't seem to be able to reproduce your error, sorry: could you tell me the commands you used to initialize your repository and check out the tutorial code?
Alternatively, could you try the following commands? repo init -u https://github.com/SEL4PROJ/sel4-tutorials-manifest -m sel4-tutorials.xml repo sync Sorry for the inconvenience, -- Kofi Doku Atuah Kernel engineer DATA61 | CSIRO _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
