…
..
devices	…
include/mach	…
Kconfig	…
Makefile	…
Makefile.boot	…
devices-mx23.h	…
devices-mx28.h	…
devices.c	…
icoll.c	…
iomux.c	…
mach-apx4devkit.c	…
mach-m28evk.c	…
mach-mx23evk.c	…
mach-mx28evk.c	…
mach-mxs.c	…
mach-stmp378x_devb.c	…
mach-tx28.c	…
mm.c	…
module-tx28.c	…
module-tx28.h	…
ocotp.c	…
pm.c	…
system.c	…
timer.c	…