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

...

...

...

...

"Peter" == Peter Chubb via Devel writes:

...

...

...

...

"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

Peter> This is an incompatibility between musllibc and recent Peter> binutils/gcc. The true fix is to upgrade to a more recent Peter> musllibc. https://github.com/seL4/musllibc/issues/19 tracks Peter> work on this, Peter> Just applying this commit: Peter> https://git.musl-libc.org/cgit/musl/commit/?id=d8f2efa708a027132d443f45a8c98... Peter> will get you further. (you will also need the definition of 'hidden' from https://git.musl-libc.org/cgit/musl/commit/src/include/features.h?id=13d1afa... ) -- Dr Peter Chubb https://trustworthy.systems/ Trustworthy Systems Group CSE, UNSW Core hours: Mon 8am-3pm; Wed: 8am-5pm; Fri 8am-12pm.