Unable to Compile Tutorial 2 Exercises
18 Mar
2018
18 Mar
'18
11:19 p.m.
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. -- Thanks and Regards, Amit Goyal
20 Mar
20 Mar
10:30 a.m.
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
2417
Age (days ago)
2418
Last active (days ago)
1 comments
2 participants
participants (2)
-
Amit Goyal
-
Kofidoku.Atuah@data61.csiro.au