| target_sources(kernel PRIVATE posix/pthread_common.c) | |
| target_sources(kernel PRIVATE posix/pthread_cond.c) | |
| target_sources(kernel PRIVATE posix/pthread_mutex.c) | |
| target_sources(kernel PRIVATE posix/pthread_barrier.c) | |
| target_sources(kernel PRIVATE posix/pthread.c) | |
| target_sources(kernel PRIVATE posix/pthread_sched.c) | |
| target_sources(kernel PRIVATE posix/clock.c) | |
| target_sources(kernel PRIVATE posix/timer.c) | |
| target_sources(kernel PRIVATE posix/pthread_rwlock.c) | |
| target_sources(kernel PRIVATE posix/semaphore.c) |