GitHub repository: seL4/libmuslc
Primary language: C
Description: MUSL C library ported to seL4