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
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