100644 blob b5f8d75d51a0568d603c293df64d403711b77447	Kconfig
100644 blob 6dd7a93a90fea07c472c8cbcbd6f0a0ec5a4d779	Makefile
100644 blob 483cb467bf65a13d1f414a88c0233b5e46e184d1	core.h
100644 blob f65ea0af4af37dbdce42f9bf1af740b4feeb9e22	headsmp.S
100644 blob c64d89b7c0ca80c6a61f3d8e1c7439756bb83ee2	platsmp.c
100644 blob 383d61e138af1e9dfeee1ccac39b6adb42f74236	socfpga.c