&nbsp;&nbsp;&nbsp; &nbsp; I am using sel4 to develop a multi-thread program on 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? <br>&nbsp;&nbsp;&nbsp; &nbsp; 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.<br><br>&nbsp;&nbsp;&nbsp; &nbsp; Thank you.<br><span style="font-weight: bold;"></span><span style="color: rgb(67, 67, 67); font-family: Tahoma, Arial; font-size: 12px; font-style: normal; font-variant: normal; font-weight: bold; letter-spacing: normal; line-height: 19.1875px; orphans: auto; text-align: left; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px; background-color: rgb(242, 242, 242); display: inline !important; float: none;"></span>