100644 blob dcd81e4116bddfda89cc4159d7684f584b3d172c	gki_defconfig
100644 blob 088709089e9b89718c7029f76f0a039a96a5fd91	i386_defconfig
100644 blob 66c9e2aab16cc31932c68ba08d484876ccf53ddc	tiny.config
100644 blob 8092d7baf8b506508c7107cc13ecfe0affb058ed	x86_64_defconfig
100644 blob d9fc7139fd46edc708565fa27135ee6f11ca56a3	xen.config