linux/arch/arm/plat-spear
..
include/plat
Kconfig
Makefile
pl080.c
restart.c
time.c