[seL4] Compiling rumprun's libc as a shared object
Ellis
27 Aug
2021
27 Aug
'21
6:53 a.m.
Hello,
Recently I have been trying to use sel4 rumprun on another build system
after compiling but I've noticed that rumprun or musl libc only produce
static libraries. How would I compile libc as a shared object?