
5 May
2025
5 May
'25
10:12 p.m.
Hello, I'm currently developing a simple communication application to explore seL4 and Microkit, and I'd like to use a C standard library (libc) in my project. I came across libsel4muslcsys and the seL4/musllibc repository. Are there any other components I should be aware of? Also, is there a specific way to integrate these into my project? Thank you for your help. Best regards, Julia Royer