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.
From: Adrian Danis
Date: 2014-11-27 05:34
To: chengkunck(a)gmail.com; devel
Subject: Re: [seL4] Confused on porting/using musl lib c
Have you looked at the sel4test or camkes projects? Instructions for getting them at
They both use musl as their C library and should provide
insight into how to use it in a seL4 project.
On 26/11/14 14:56, chengkunck(a)gmail.com wrote:
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.
Devel mailing list
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.