…
..
Kconfig	…
Makefile	…
core.h	…
headsmp.S	…
l2_cache.c	…
ocram.c	…
platsmp.c	…
pm.c	…
self-refresh.S	…
socfpga.c	…