Index: contrib/default/ia32xen/Makefile.config
===================================================================
--- contrib/default/ia32xen/Makefile.config	(revision 48c3d504fc31a177cd3f40efea0b99148bde9b18)
+++ 	(revision )
@@ -1,44 +1,0 @@
-# Platform
-PLATFORM = ia32xen
-
-# CPU type
-MACHINE = pentium4
-
-# Ramdisk format
-RDFMT = tmpfs
-
-# Compiler
-COMPILER = gcc_cross
-
-# Debug build
-CONFIG_DEBUG = y
-
-# Support for SMP
-CONFIG_SMP = y
-
-# Improved support for hyperthreading
-CONFIG_HT = y
-
-# Lazy FPU context switching
-CONFIG_FPU_LAZY = y
-
-# Support for userspace debuggers
-CONFIG_UDEBUG = n
-
-# Kernel console support
-CONFIG_KCONSOLE = y
-
-# Detailed kernel logging
-CONFIG_LOG = n
-
-# Deadlock detection support for spinlocks
-CONFIG_DEBUG_SPINLOCK = y
-
-# Watchpoint on rewriting AS with zero
-CONFIG_DEBUG_AS_WATCHPOINT = y
-
-# Save all interrupt registers
-CONFIG_DEBUG_ALLREGS = y
-
-# Compile kernel tests
-CONFIG_TEST = y
Index: contrib/default/ia32xen/output
===================================================================
--- contrib/default/ia32xen/output	(revision 48c3d504fc31a177cd3f40efea0b99148bde9b18)
+++ 	(revision )
@@ -1,1 +1,0 @@
-image.iso
Index: contrib/default/ppc64/Makefile.config
===================================================================
--- contrib/default/ppc64/Makefile.config	(revision 48c3d504fc31a177cd3f40efea0b99148bde9b18)
+++ 	(revision )
@@ -1,23 +1,0 @@
-# Platform
-PLATFORM = ppc64
-
-# Ramdisk format
-RDFMT = tmpfs
-
-# Compiler
-COMPILER = gcc_cross
-
-# Debug build
-CONFIG_DEBUG = y
-
-# Support for userspace debuggers
-CONFIG_UDEBUG = n
-
-# Kernel console support
-CONFIG_KCONSOLE = y
-
-# Detailed kernel logging
-CONFIG_LOG = n
-
-# Compile kernel tests
-CONFIG_TEST = y
Index: contrib/default/ppc64/output
===================================================================
--- contrib/default/ppc64/output	(revision 48c3d504fc31a177cd3f40efea0b99148bde9b18)
+++ 	(revision )
@@ -1,1 +1,0 @@
-image.boot