100644 blob 332d9b539ed84122ff0f550e575219963e604024	gki_defconfig
100644 blob 78210793d357cf027b8a44419ec3b9447bdad98a	i386_defconfig
100644 blob 66c9e2aab16cc31932c68ba08d484876ccf53ddc	tiny.config
100644 blob 9936528e19393afad0f87a89196e43dd2c52e171	x86_64_defconfig
100644 blob d9fc7139fd46edc708565fa27135ee6f11ca56a3	xen.config