100644 blob 037100a1563aca5f52dd2e68f42c711dc71484c2	Kconfig
100644 blob 6dd7a93a90fea07c472c8cbcbd6f0a0ec5a4d779	Makefile
100644 blob 572b8f719ffbf040c6d6e5f4b5274f21e89045db	core.h
100644 blob 95c115d8b5eee5407feb99ce996f5793ceb34747	headsmp.S
100644 blob 5356a72bc8ce901fdf82d0626f6ca59c9bfa85bf	platsmp.c
100644 blob dd0d49cdbe097c09fb15d0a652f2aa6d10e60db9	socfpga.c