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.kuz@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.kuz@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.delange@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.