100644 blob 566e804d40367c8a13bf83164b4c3af7b7320750	Kconfig
100644 blob 6dd7a93a90fea07c472c8cbcbd6f0a0ec5a4d779	Makefile
100644 blob 315edff610f241747439e92c3c5ff858ed4570cc	core.h
100644 blob 9004bfb1756ee345192d78c3f2a125c2b985a8e5	headsmp.S
100644 blob 84c60fa8daa0298d290a06554683fdb22dd921c6	platsmp.c
100644 blob 1042c023cf248c09850dc1acbbb8fa24d48732be	socfpga.c