/board/freescale/mx31pdk/
../
Kconfig
Makefile
lowlevel_init.S
mx31pdk.c