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 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.aumailto: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.commailto: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

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.aumailto: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.commailto: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.aumailto: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.commailto: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