seL4 POSIX We basically achieved the POSIX interface related functions,Relevant methods are stored in libsel4support repository. Uploaded files may be some missing, please don't direct execution.
Mainly including code file: pthread_my.h: POSIX Threading library header files, store the main thread structure pthread_alloc.c: Thread creation before environment initialization, as well as the methods of dealing with the related variables pthread_create.c: Thread creation and removed, and the realization of the thread priority methods pthread_join.c: The implementation of the thread to run method libsync: Communication between threads lock the implementation of the library