original_kernel/kernel/cpu
..
Makefile
idle.c