/board/freescale/mx51evk/

• ../
• Makefile
• config.mk
• imximage.cfg
• mx51evk.c
• mx51evk.h