100644 blob 5177d6e4619b987697510dffb41195595e7a8ffb	crashdump_defconfig
100644 blob 22797e912979d836fd0ec5bb7ea958db2ee617b4	gki_defconfig
100644 blob 3cf34912abfe2c961fbfb851c5e27d5c3759623e	i386_defconfig
100644 blob d2539f0adce94fc62f96083d9e6c8b64cf93f80e	microdroid_defconfig
100644 blob 66c9e2aab16cc31932c68ba08d484876ccf53ddc	tiny.config
100644 blob 27759236fd60ec1cd200d4cf6e430e353fe6aa76	x86_64_defconfig
100644 blob 581296255b39e403246d4ad076786d10cb86dc60	xen.config