/u-boot/arch/arm/cpu/arm1136/mx31/

• ../
• Makefile
• devices.c
• generic.c
• timer.c