…
..
include/mach	…
Kconfig	…
Makefile	…
Makefile.boot	…
icoll.c	…
mach-mxs.c	…
mm.c	…
ocotp.c	…
pm.c	…
system.c	…
timer.c	…