/arch/arm/cpu/armv7/highbank/
../
Makefile
config.mk
timer.c