Ok. I'm currently working on rebasing MCS onto the latest master. Once I have that passing the tests I'll update the manifest for the tutorials and let you know. Cheers Anna. ________________________________ From: Zeyu Mi <yzmizeyu@gmail.com> Sent: 20 May 2019 22:52 To: Lyons, Anna (Data61, Kensington NSW) Cc: devel@sel4.systems Subject: Re: [seL4] Compilation Errors for the MCS tutorial Hi Anna, Sorry for the late reply. I have checkout to the revisions as specified in that manifest. But these errors still exist. On Fri, May 17, 2019 at 2:34 PM Lyons, Anna (Data61, Kensington NSW) <Anna.Lyons@data61.csiro.au<mailto:Anna.Lyons@data61.csiro.au>> wrote: Sorry, I don't mean sync with that manifest, but try directly fetching the revisions in each repository in your current checkout. Thanks Anna. ________________________________ From: Zeyu Mi <yzmizeyu@gmail.com<mailto:yzmizeyu@gmail.com>> Sent: 17 May 2019 16:09 To: Lyons, Anna (Data61, Kensington NSW); devel@sel4.systems Subject: Re: [seL4] Compilation Errors for the MCS tutorial Hi Anna, Thanks for your reply. I have tried to sync with the mcsmanifest.xml but it reported the following errors. Fetching project seL4.git fatal: Couldn't find remote ref refs/heads/new-rt fatal: Couldn't find remote ref refs/heads/new-rt error: Cannot fetch seL4.git from https://github.com/seL4/seL4.git error: Exited sync due to fetch errors On Fri, May 17, 2019 at 1:40 PM Lyons, Anna (Data61, Kensington NSW) <Anna.Lyons@data61.csiro.au<mailto:Anna.Lyons@data61.csiro.au>> wrote: Hi Zeyu, The MCS tutorials are not currently up to date with the latest libraries. I've attached a manifest which was the last version that worked - can you tell me if the revisions in it work for you? If so I can tag them all and update the tutorials. Cheers Anna. ________________________________ From: Devel <devel-bounces@sel4.systems> on behalf of Zeyu Mi <yzmizeyu@gmail.com<mailto:yzmizeyu@gmail.com>> Sent: 17 May 2019 15:20 To: devel@sel4.systems Subject: [seL4] Compilation Errors for the MCS tutorial Hi, I was trying the MCS tutorial but encountered a few compilation errors which I cannot resolve. And the previous tutorials can be compiled normally. The building environment is based on Docker, as recommended by the tutorials. Steps: 1. cd kernel 2. git fetch seL4 mcs-tutorials 3. git checkout mcs-tutorials 4. cd .. && ./init --tut mcs 5. cd mcs && ninja Compilation output about the errors: [79/161] Building C object projects/seL4_libs/libsel4utils/CMakeFiles/sel4utils.dir/src/elf.c.obj FAILED: projects/seL4_libs/libsel4utils/CMakeFiles/sel4utils.dir/src/elf.c.obj ccache /usr/bin/gcc --sysroot=/host/mcs_build -DHAVE_AUTOCONF -I../projects/seL4_libs/libsel4utils/include -I../projects/seL4_libs/libsel4utils/sel4_arch_include/x86_64 -I../projects/seL4_libs/libsel4utic ../projects/seL4_libs/libsel4utils/src/elf.c: In function ‘rights_from_elf’: ../projects/seL4_libs/libsel4utils/src/elf.c:35:12: error: too many arguments to function ‘seL4_CapRights_new’ return seL4_CapRights_new(false, false, canRead, canWrite); In file included from ../kernel/libsel4/include/sel4/types.h:30:0, from ../kernel/libsel4/include/sel4/sel4.h:16, from ../projects/seL4_libs/libsel4utils/src/elf.c:15: libsel4/include/sel4/shared_types_gen.h:317:1: note: declared here seL4_CapRights_new(seL4_Uint64 capAllowGrant, seL4_Uint64 capAllowRead, seL4_Uint64 capAllowWrite) [82/161] Building C object projects/seL4_libs/libsel4utils/CMakeFiles/sel4utils.dir/src/vspace/bootstrap.c.obj FAILED: projects/seL4_libs/libsel4utils/CMakeFiles/sel4utils.dir/src/vspace/bootstrap.c.obj ccache /usr/bin/gcc --sysroot=/host/mcs_build -DHAVE_AUTOCONF -I../projects/seL4_libs/libsel4utils/include -I../projects/seL4_libs/libsel4utils/sel4_arch_include/x86_64 -I../projects/seL4_libs/libsel4utic In file included from ../projects/seL4_libs/libsel4utils/src/vspace/bootstrap.c:20:0: ../projects/seL4_libs/libsel4utils/src/vspace/bootstrap.c: In function ‘common_init_post_bootstrap’: ../projects/seL4_libs/libsel4utils/include/sel4utils/vspace.h:43:43: error: ‘seL4_UserTop’ undeclared (first use in this function) #define KERNEL_RESERVED_START (ALIGN_DOWN(seL4_UserTop, PAGE_SIZE_4K)) Thanks in advance. Zeyu -- Best Regards Zeyu Mi (糜泽羽) Institute of Parallel and Distributed Systems (IPADS), School of Software, Shanghai Jiao Tong University -- Best Regards Zeyu Mi (糜泽羽) Institute of Parallel and Distributed Systems (IPADS), School of Software, Shanghai Jiao Tong University