…
..
include/mach	…
Kconfig	…
Makefile	…
Makefile.boot	…
clock.c	…
cpu.c	…
init.c	…
mach-smdk6442.c	…