target_sources(${kernel_target} PRIVATE pmu.c smp.c)
