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) < [email protected]> 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 <[email protected]> on behalf of Zeyu Mi < > [email protected]> > *Sent:* 17 May 2019 15:20 > *To:* [email protected] > *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
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
