100644 blob 8958f0d896bc983cda9fcf9ffff12a4318ab4001	Kconfig
100644 blob 042afc1f8c4425f4ce887910dd4a5daddb4e8615	Makefile
100644 blob 8badaabe70a13f7918a18df5ca05e68cc65c2c72	platsmp.c
100644 blob 31666f6b43736fca58ebebaa7cb4d02562b6c25a	virt.c