100644 blob 5b1f61fd78780300780e8375f62c512c7c70945a	Kconfig
100644 blob 0d338e8ccf90395b8ee8b414d94a469a677fd9fc	Makefile
100644 blob 2424ad40190c257227d18511ff63c23c5debc446	berlin.c
100644 blob 3057885d97728f6896409f62ddb93cb64378962d	headsmp.S
100644 blob 593fc4a69d8442527b222ded1ffedcd760dda670	platsmp.c