compilation of latest seL4-test release fails due to old musllibc

[wucke13]

When I try to compile this for the imx8mq-evk target, I get a linker error:

aarch64-unknown-none-elf-ld: apps/sel4test-driver/musllibc/build-temp/stage/lib/libc.a(__stdio_exit.lo): copy relocation against non-copyable protected symbol `__stdin_used'

I recon this is a known issue when using bintool too new for the quite old seL4 musllibc fork. Now, in this email thread @alwin-joshy mentions having a set of patches to make the seL4 musllibc compile with recent bintools. Would it be possible to incorporate these fixes into the sel4test-manifest and then to tag a subsequent release?

[alwin-joshy]

Both @wom-bat and @lsf37 have expressed interest in getting our version of musllibc up-to-date with upstream, so this is something I plan on looking into when I have a some time.