target_sources(${kernel_target} PRIVATE semaphore.c)
