[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