Hi,
I am new to sel4 and was thus practising the tutorials given at: https://wiki.sel4.systems/Tutorials
While compiling tutorial 2 exercises, I got the attached error (I have also attached the main.c file). Can someone please help me in resolving it.
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