100644 blob 742d53a5f7f94fc8ee58ed3fdd69a2e4c49f75b6	Kconfig
100644 blob c0719ecd189044a70d3d7585e05fcd6674c26ca9	Makefile
100644 blob 25d73870cccad498e98eab1c4a43666a36fbaa9c	berlin.c
100644 blob dc82a3486b05e6b208c37fe8f93707d9388b06db	headsmp.S
100644 blob 405cd37e4fba59d1010b14e1e1e11db069ef75b8	platsmp.c