100644 blob 566e804d40367c8a13bf83164b4c3af7b7320750	Kconfig
100644 blob 6dd7a93a90fea07c472c8cbcbd6f0a0ec5a4d779	Makefile
100644 blob 9941caa949310849968859b8b20e3da971dff7ff	core.h
100644 blob f09b1283ffca79fa275418bae0abb4519eba2477	headsmp.S
100644 blob 68dd1b69512acc5f02770ae1a0a0493ba11862bd	platsmp.c
100644 blob 6732924a5fee2900fb8b9bc97c39921cd966b136	socfpga.c