100644 blob 566e804d40367c8a13bf83164b4c3af7b7320750	Kconfig
100644 blob 6dd7a93a90fea07c472c8cbcbd6f0a0ec5a4d779	Makefile
100644 blob 572b8f719ffbf040c6d6e5f4b5274f21e89045db	core.h
100644 blob 9004bfb1756ee345192d78c3f2a125c2b985a8e5	headsmp.S
100644 blob b907fb986d9e937428e6a688ca8a08a5a9492d2e	platsmp.c
100644 blob 2cae16c1f2651d9f743d18128301c2dee41a993f	socfpga.c