100644 blob 5177d6e4619b987697510dffb41195595e7a8ffb	crashdump_defconfig
100644 blob 5e54de7f75778c4ca6ea8b114485894d2a814486	gki_defconfig
100644 blob 1b411bbf3cb0b808e81c9d55c929813654bad3ba	i386_defconfig
100644 blob 7b85809d9b11855c30b1424bb3bd1c78bdb2a918	microdroid_defconfig
100644 blob 66c9e2aab16cc31932c68ba08d484876ccf53ddc	tiny.config
100644 blob 409e9182bd29b441d261fa8e1f9de1d1d2e3379d	x86_64_defconfig
100644 blob 581296255b39e403246d4ad076786d10cb86dc60	xen.config