Hi Adrian,
Thank you! I haven't go to the camkes projects until a week ago, before that I
spent most of my time in the sel4 kernel. But I do know camkes provides system
component for sel4. Recently I want to write a simple application and it seems
that I have to use musllibc, but I've really had no idea that it's on camkes.
Thank you for the advice and I will go through the projects.
Best regards,
Kenneth
From: Adrian Danis
Date: 2014-11-27 05:34
To: [email protected]; devel
Subject: Re: [seL4] Confused on porting/using musl lib c
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, [email protected] 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
[email protected]
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.
_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel
