100644 blob 7872a3330fb51ed1576e3c40d78820cb73915b50	Kconfig
100644 blob 94e0e54056a9bcbf71e0bbe0abcf9db495da22ae	Makefile
100644 blob df4176cdbb321e8223dfdffb056b35981c3c63f8	boot.c
100644 blob 6ddfe4fc23c3eefbfe4bb10f726ce27bc51a2fba	i386_head.S