"小健" == 小健 buaacszj@qq.com writes:
小健> ARM platform. I know that sel4 support musl libc. But when I 小健> call __pthread_create the program returns an error. Does sel4 小健> support pthread on ARM platform? By the way, I get the libmuslc 小健> from seL4test. So if there is a musl libc which has pthread 小健> inside that can be used by sel4, please tell me where I can get 小健> it.
Noone has yet tried to implement pthreads on top of seL4 on ARM. We ported muslc to run on seL4 as a convenience; not all of its features work. Implementing pthreads would make a nice project for someone I think.
Peter C -- Dr Peter Chubb peter.chubb AT nicta.com.au http://www.ssrg.nicta.com.au Software Systems Research Group/NICTA
________________________________
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.