original_kernel/arch/arm/plat-versatile
..
include/plat
Kconfig
Makefile
headsmp.S
platsmp.c
sched-clock.c