MUSL C Library -- for seL4