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
<?xml version="1.0" encoding="UTF-8"?> <manifest> <remote fetch="https://github.com/ruslo"; name="polly"/> <remote fetch="../seL4" name="seL4"/> <remote fetch="../sel4proj" name="sel4proj"/> build 31-Jan-2019 11:43:00 <default remote="seL4" revision="master"/> build 31-Jan-2019 11:43:00 <project name="camkes-tool.git" path="tools/camkes" revision="2b620b2635ac534e64b82a4c34e65c689cf09da4" upstream="master"> <linkfile dest="README-camkes.md" src="docs/index.md"/> </project> <project name="camkes-vm-linux.git" path="projects/camkes/vm-linux" remote="sel4proj" revision="673964443fe8d064e1708f876e1bb0dec4a25062" upstream="master"/> <project name="camkes-vm.git" path="projects/camkes/vm" revision="f88a5ca0762c59491b5b28aa697754fbc626bc2c" upstream="master"/> <project name="capdl.git" path="projects/camkes/capdl" revision="9a3d2cba197a1436fc504d1eda20a2fe5b4d6306" upstream="master"/> <project name="global-components.git" path="projects/camkes/global-components" remote="sel4proj" revision="9040de2baa36937830950dedde34a8b0fa13942f" upstream="master"/> <project name="musllibc.git" path="projects/musllibc" revision="9e288a83f17de80e54af87852674d70f59d6beee" upstream="sel4"/> <project name="polly" path="tools/polly" remote="polly" revision="b195b13918e6520cf29dc1f86c47b25b7c51b1bc" upstream="master"/> <project name="projects_libs.git" path="projects/projects_libs" remote="sel4proj" revision="2c81a04b7bd3b71a9e89a01205dfc3c394b883e2" upstream="master"/> <project name="pruner.git" path="tools/pruner" revision="9b112d39e8af68db33d848966816ee12f14a6f4f" upstream="master"/> <project name="seL4.git" path="kernel" revision="540bce90bc49ae0e28125e025663af7eb56516ac" upstream="new-rt"/> <project name="seL4_libs.git" path="projects/seL4_libs" revision="8b8f9f87a2f3af1197b60c99651c00fdb7467353" upstream="master"/> <project name="seL4_tools.git" path="tools/seL4" revision="f5fd7dab0d50e84cb8a14f661faeda9d39e74c33" upstream="master"> <linkfile dest="CMakeLists.txt" src="cmake-tool/default-CMakeLists.txt"/> </project> <project name="sel4-tutorials.git" path="projects/sel4-tutorials" remote="sel4proj" revision="a77093754c16d968b8b6b52b263ed8a674bb53b9" upstream="master"> <linkfile dest="README.md" src="README.md"/> <linkfile dest="init" src="init.py"/> </project> <project name="util_libs.git" path="projects/util_libs" revision="8d891814587df9b2883acafc5ebb28b087776944" upstream="master"/> </manifest>
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
