Thanks for the reply. By using the VM, ssh'ing inside and use the links you provided, I can use sel4 and reproduce the camkes and other tutorials.
Thanks again for your quick and nice reply, greatly appreciated! Julien. On Tue, Dec 22, 2015 at 6:59 PM, Ihor Kuz <ihor....@nicta.com.au> wrote: > Hi, > > The head of the tutorial hasn’t been updated to match the seL4 kernel and > library changes yet (it’s coming though). > > In the meantime you can use manifest snapshots that reflect the state of > the tutorials and system when the developer days were held. Look at: > > > https://github.com/seL4-projects/sel4-tutorials-manifest/tree/master/snapshots > > You can specify an alternative manifest to use with the -m <manifest file> > option to repo. > > For example, to get the tutorial (and system) as it was on the 2nd > developers day: > > repo init -u > https://github.com/seL4-projects/sel4-tutorials-manifest.git -m > snapshots/sel4-tutorials.devday2.xml > > Ihor > > -- > Dr. Ihor Kuz > Senior Research Engineer | Trustworthy Systems > > DATA61 | CSIRO > E ihor....@nicta.com.au T + 61 2 8306 0582 > Locked Bag 6016, UNSW, Sydney NSW 1466, Australia > www.data61.csiro.au > > CSIRO’s Digital Productivity business unit and NICTA have joined forces to > create digital powerhouse Data61 > > > On 23 Dec 2015, at 4:31 am, Julien Delange <julien.dela...@gmail.com> > wrote: > > > > Hello, > > > > I am trying to reproduce the tutorial. I followed the steps from the > slides on > https://github.com/seL4-projects/sel4-tutorials/blob/master/docs/seL4Tutorial.pdf > > > > When trying to compile, I got the following error in [1]. It seems to be > a warning from the compiler, so, I edit the CFLAGS in the .config and tried > to compile but then got the error in [2], which then avoid any potential > compilation. > > > > Is there any special setup for the compiler? I am currently using gcc > 5.2.1. > > > > Thanks for any suggestion, > > > > Julien. > > > > > > [1] > /home/julien/tmp/sel4-tutorials/stage/x86/pc99/include/vka/object.h:286:5: > warning: 'seL4_AsyncEndpointObject' is deprecated (declared at > /home/julien/tmp/sel4-tutorials/stage/x86/pc99/include/sel4/objecttype.h:23): > use seL4_NotificationObject [-Wdeprecated-declarations] > > > > > > [2] > /home/julien/tmp/sel4-tutorials/kernel/src/plat/pc99/machine/acpi.c:38:13: > error: size of array '__assert_failed_acpi_rsdp_packed' is negative > > > > _______________________________________________ > > Devel mailing list > > Devel@sel4.systems > > https://sel4.systems/lists/listinfo/devel > > > ________________________________ > > The information in this e-mail may be confidential and subject to legal > professional privilege and/or copyright. National ICT Australia Limited > accepts no liability for any damage caused by this email or its attachments. >
_______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
