Hi Kenneth,
Have you looked at the sel4test or camkes projects? Instructions for getting them at http://sel4.systems/Download/  They both use musl as their C library and should provide insight into how to use it in a seL4 project.

Adrian

On 26/11/14 14:56, chengkunck@gmail.com wrote:
Hi All,
    I want to use musl lib c but I'm a little confused on the following two projects: libmuslc and musllibc. I went through their Kconfig and brief intros, so my question now is do I need them both to port/use musl lib c on sel4?  It might be a dumb question but I'm stuck here, any help is appreciated.
     


Best regards,
       Kenneth


_______________________________________________
Devel mailing list
Devel@sel4.systems
https://sel4.systems/lists/listinfo/devel




The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.