100644 blob 82dddee3a469be64a585b0d3c69003aec87ff543	Kconfig
100644 blob 396afe109e67587b22f02a04526a9eef89a7610b	Makefile
100644 blob c819dff8454652827bca37cd78d053be5ba8de25	headsmp.S
100644 blob 9978c41128f6532f744d89934790bb7fb8c68a19	platsmp.c