[seL4] Re: Build failure for sel4 on raspberry pi 5
Ran into the same problem. I applied the patches Peter mentioned and a couple of other things, which allowed me to build. You can view the diff here: https://github.com/alwin-joshy/musllibc/tree/aos_workaround Alwin ___ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
[seL4] Re: Build failure for sel4 on raspberry pi 5
Thanks for the suggestion but it didn't seem to make any difference. I saw on their git repo that master had the changes in the patch you linked to, so I built it myself locally. However I still get the same error in the same place. This is what I did cd xxx git clone https://git.musl-libc.org/git/musl cd musl ./configure make sudo make install Then reran the build ninja clean ninja Or have I got this wrong and the patch needs to be reversed because it came from a branch somewhere? Will keep digging. Thanks, Smiley ___ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
[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=d8f2efa708a027132d443f45a8c98a0c7c1b2d77 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=13d1afa46f8098df290008c681816c9eb89ffbdb ) -- Dr Peter Chubbhttps://trustworthy.systems/ Trustworthy Systems GroupCSE, UNSW Core hours: Mon 8am-3pm; Wed: 8am-5pm; Fri 8am-12pm. ___ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
[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=d8f2efa708a027132d443f45a8c98a0c7c1b2d77 will get you further. -- Dr Peter Chubbhttps://trustworthy.systems/ Trustworthy Systems GroupCSE, UNSW Core hours: Mon 8am-3pm; Wed: 8am-5pm; Fri 8am-12pm. ___ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
