…
..
Kconfig	…
Makefile	…
Makefile.boot	…
clock.c	…
clock.h	…
core.c	…
core.h	…
headsmp.S	…
hotplug.c	…
localtimer.c	…
platsmp.c	…
realview_eb.c	…