target_sources(${kernel_target} PRIVATE timer.c ipi.c)
