100644 blob d70829033bb7a8fb728c4e5b3ddc8a16436280de	android-base.config
100644 blob 297756be369c68d9e56c3c5823de5530118671f6	android-recommended.config
100644 blob 7fa0c4ae6394f028fa09694b219314dd3d7d8731	tiny.config
100644 blob ff756221f11279935a3a505b2e987bb1177ac89a	xen.config