[seL4] Re: Build failure for sel4 on raspberry pi 5

...

...

...

...

"l4" == l4 writes:

l4> Hi everyone, I am getting a link failure during the build of l4> sel4test-tests: /usr/bin/ld: l4> apps/sel4test-driver/musllibc/build-temp/stage/lib/libc.a(__stdio_exit.o): l4> copy relocation against non-copyable protected symbol l4> `__stdin_used' collect2: error: ld returned 1 exit status This is an incompatibility between musllibc and recent binutils/gcc. The true fix is to upgrade to a more recent musllibc. https://github.com/seL4/musllibc/issues/19 tracks work on this, Just applying this commit: https://git.musl-libc.org/cgit/musl/commit/?id=d8f2efa708a027132d443f45a8c98... will get you further. -- Dr Peter Chubb https://trustworthy.systems/ Trustworthy Systems Group CSE, UNSW Core hours: Mon 8am-3pm; Wed: 8am-5pm; Fri 8am-12pm.