100644 blob 0ba1cf60b52208bfd61a6b903ec1d80077028067	gki_defconfig
100644 blob 9c9c4a888b1dbf65dfe29b3b91a6666d2dff14cd	i386_defconfig
100644 blob 66c9e2aab16cc31932c68ba08d484876ccf53ddc	tiny.config
100644 blob b60bd2d8603499a88dcf0bedb164154cb818c982	x86_64_defconfig
100644 blob d9fc7139fd46edc708565fa27135ee6f11ca56a3	xen.config