@richfelker @whitequark no surprise then that seL4 uses @musllibc
-
-
-
@bmastenbrook@RichFelker@whitequark@musllibc although not very much of it really as they don't have much if a syscall back end for it yet -
@justincormack@richfelker@whitequark the question is, syscalls to what? Certainly not the microkernel :-) -
@justincormack@richfelker@whitequark (well, most things will bottom out in a send, but you know what I mean)
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.