100644 blob b5f8d75d51a0568d603c293df64d403711b77447	Kconfig
100644 blob 6dd7a93a90fea07c472c8cbcbd6f0a0ec5a4d779	Makefile
100644 blob 767c09e954a0f905f5bb2e791273f1bcc96f370f	core.h
100644 blob 5bb0164271076eb4b4d0393d0af271493464df88	headsmp.S
100644 blob 79c5336c569ff86aaa7cd7872f2447b766ce365f	platsmp.c
100644 blob f5e597c207b9e47d26c0a7d021563cc6bdc8bf35	socfpga.c