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