Daniel Schwyn

I've fixed the Gitlint issue with the 2nd commit.

Is the library with the internal musllibc headers an acceptable solution? Let me know if there is something I should still do to get this merged.

Where are we on this? Let me know if something needs doing to merge https://github.com/seL4/musllibc/pull/25 and this.

> > Hmm, this fails sometimes (or always on Aarch64?) with: > > ``` > > creating config.mak... done > > cp: will not overwrite just-created '/github/workspace/build/apps/sel4test-driver/musllibc/build-temp/stage/include-internal/fp_arch.h' with '/github/workspace/projects/musllibc/arch/generic/fp_arch.h' >...

> > > I don't think this is caused by this, but I think was actually because of [seL4/musllibc#25](https://github.com/seL4/musllibc/pull/25) as I saw it on another PR. > > > >...