target_sources(${kernel_target} PRIVATE context.c idle.S sched.c)
