100644 blob b5f8d75d51a0568d603c293df64d403711b77447	Kconfig
100644 blob 6dd7a93a90fea07c472c8cbcbd6f0a0ec5a4d779	Makefile
100644 blob a0f3b1cd497cc70656637c6dd2215a07942c0b1e	core.h
100644 blob f65ea0af4af37dbdce42f9bf1af740b4feeb9e22	headsmp.S
100644 blob c64d89b7c0ca80c6a61f3d8e1c7439756bb83ee2	platsmp.c
100644 blob f5e597c207b9e47d26c0a7d021563cc6bdc8bf35	socfpga.c