# seL4-POSIX
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