100644 blob b5f8d75d51a0568d603c293df64d403711b77447	Kconfig
100644 blob 6dd7a93a90fea07c472c8cbcbd6f0a0ec5a4d779	Makefile
100644 blob 60c443dadb58c0cff441962c6c7c1e2317281cb1	core.h
100644 blob f65ea0af4af37dbdce42f9bf1af740b4feeb9e22	headsmp.S
100644 blob 16ca97b039f90d542c12182c560c870cc0089199	platsmp.c
100644 blob 383d61e138af1e9dfeee1ccac39b6adb42f74236	socfpga.c