Hi Ivan, Yes, this really helps me a lot. Since I only need a non-OS libc, I'm going with newlib instead.
Thanks again for your help! Best regards, Julia _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
