original_kernel/arch/arm/mach-ux500
..
include/mach
Kconfig
Makefile
Makefile.boot
board-mop500.c
clock.c
cpu-u8500.c
headsmp.S
localtimer.c
platsmp.c