/arch/arm/cpu/arm1136/mx31/

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