Closed Ivan-Velickovic closed 10 months ago
Trying to build sel4test following the instructions on https://docs.sel4.systems/Hardware/rocketchip.html fails with:
[1/34] Linking C executable apps/sel4test-driver/sel4test-driver FAILED: apps/sel4test-driver/sel4test-driver : && /usr/bin/ccache /opt/riscv64-unknown-elf-toolchain-10.2.0-2020.12.8-x86_64-linux-ubuntu14/bin/riscv64-unknown-elf-gcc --sysroot=/tmp/test/rocketchip -D__KERNEL_64__ -march=rv64imac -mabi=lp64 -g -D__KERNEL_64__ -march=rv64imac -mabi=lp64 -static -nostdlib -z max-page-size=0x1000 -Wl,-u_sel4_start -Wl,-e_sel4_start -Wl,-T /tmp/test/tools/seL4/cmake-tool/helpers/tls_rootserver.lds -Wl,-umuslcsys_init_muslc /tmp/test/rocketchip/lib/crt0.o /tmp/test/rocketchip/lib/crti.o /opt/riscv64-unknown-elf-toolchain-10.2.0-2020.12.8-x86_64-linux-ubuntu14/bin/../lib/gcc/riscv64-unknown-elf/10.2.0/rv64imac/lp64/crtbegin.o apps/sel4test-driver/archive.o apps/sel4test-driver/CMakeFiles/sel4test-driver.dir/src/main.c.obj apps/sel4test-driver/CMakeFiles/sel4test-driver.dir/src/tests/interrupt.c.obj apps/sel4test-driver/CMakeFiles/sel4test-driver.dir/src/tests/smmu.c.obj apps/sel4test-driver/CMakeFiles/sel4test-driver.dir/src/tests/syscall.c.obj apps/sel4test-driver/CMakeFiles/sel4test-driver.dir/src/tests/timer.c.obj apps/sel4test-driver/CMakeFiles/sel4test-driver.dir/src/testtypes.c.obj apps/sel4test-driver/CMakeFiles/sel4test-driver.dir/src/timer.c.obj -Wl,--start-group -lgcc libsel4/libsel4.a apps/sel4test-driver/sel4runtime/libsel4runtime.a apps/sel4test-driver/seL4_libs/libsel4allocman/libsel4allocman.a apps/sel4test-driver/seL4_libs/libsel4vka/libsel4vka.a apps/sel4test-driver/seL4_libs/libsel4utils/libsel4utils.a apps/sel4test-driver/sel4_projects_libs/libsel4rpc/libsel4rpc.a apps/sel4test-driver/seL4_libs/libsel4test/libsel4test.a apps/sel4test-driver/seL4_libs/libsel4platsupport/libsel4platsupport.a apps/sel4test-driver/seL4_libs/libsel4muslcsys/libsel4muslcsys.a apps/sel4test-driver/libsel4testsupport/libsel4testsupport.a -Wl,-u -Wl,__vsyscall_ptr apps/sel4test-driver/seL4_libs/libsel4test/libsel4test.a apps/sel4test-driver/sel4_projects_libs/libsel4rpc/libsel4rpc.a apps/sel4test-driver/sel4_projects_libs/libsel4nanopb/libsel4nanopb.a apps/sel4test-driver/sel4_projects_libs/libsel4nanopb/libnanopb.a apps/sel4test-driver/seL4_libs/libsel4sync/libsel4sync.a apps/sel4test-driver/seL4_libs/libsel4serialserver/libsel4serialserver.a apps/sel4test-driver/seL4_libs/libsel4utils/libsel4utils.a apps/sel4test-driver/util_libs/libelf/libelf.a apps/sel4test-driver/util_libs/libcpio/libcpio.a apps/sel4test-driver/seL4_libs/libsel4platsupport/libsel4platsupport.a apps/sel4test-driver/sel4runtime/libsel4runtime.a apps/sel4test-driver/util_libs/libplatsupport/libplatsupport.a apps/sel4test-driver/util_libs/libfdt/libfdt.a -Wl,--undefined=riscv_plic_ptr apps/sel4test-driver/seL4_libs/libsel4simple-default/libsel4simple-default.a apps/sel4test-driver/seL4_libs/libsel4vspace/libsel4vspace.a apps/sel4test-driver/seL4_libs/libsel4simple/libsel4simple.a apps/sel4test-driver/seL4_libs/libsel4vka/libsel4vka.a apps/sel4test-driver/seL4_libs/libsel4debug/libsel4debug.a libsel4/libsel4.a apps/sel4test-driver/util_libs/libutils/libutils.a apps/sel4test-driver/musllibc/build-temp/stage/lib/libc.a -Wl,--end-group /opt/riscv64-unknown-elf-toolchain-10.2.0-2020.12.8-x86_64-linux-ubuntu14/bin/../lib/gcc/riscv64-unknown-elf/10.2.0/rv64imac/lp64/crtend.o /tmp/test/rocketchip/lib/crtn.o -o apps/sel4test-driver/sel4test-driver && : /opt/riscv64-unknown-elf-toolchain-10.2.0-2020.12.8-x86_64-linux-ubuntu14/bin/../lib/gcc/riscv64-unknown-elf/10.2.0/../../../../riscv64-unknown-elf/bin/ld: apps/sel4test-driver/CMakeFiles/sel4test-driver.dir/src/main.c.obj: in function `init_env': /tmp/test/projects/sel4test/apps/sel4test-driver/src/main.c:117: undefined reference to `ltimer_default_init' collect2: error: ld returned 1 exit status ninja: build stopped: subcommand failed.
Seems these fixes will address this:
Still doesn't build.
Fixed with https://github.com/seL4/sel4test/pull/104.
Trying to build sel4test following the instructions on https://docs.sel4.systems/Hardware/rocketchip.html fails with: