…
..
include/mach	…
Kconfig	…
Makefile	…
Makefile.boot	…
board-mop500.c	…
clock.c	…
cpu-u8500.c	…
headsmp.S	…
localtimer.c	…
platsmp.c	…