[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