100644 blob dd86db467521956f6a1d06f5a157f77ce7ac4e5e	Kconfig
100644 blob 6dd7a93a90fea07c472c8cbcbd6f0a0ec5a4d779	Makefile
100644 blob 572b8f719ffbf040c6d6e5f4b5274f21e89045db	core.h
100644 blob 9004bfb1756ee345192d78c3f2a125c2b985a8e5	headsmp.S
100644 blob b51ce8c7929dcf16991d2f3e45914c7ede976b92	platsmp.c
100644 blob 8ea11b472b91a0950826c9f81aabb1404c232130	socfpga.c