[seL4] Re: Libc on Microkit