Index: contrib/default/amd64/Makefile.config
===================================================================
--- contrib/default/amd64/Makefile.config	(revision 85156d302a086103852bf03ded648aeb26304afa)
+++ 	(revision )
@@ -1,59 +1,0 @@
-# Platform
-PLATFORM = amd64
-
-# CPU type
-MACHINE = opteron
-
-# 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
-
-# Simics BIOS AP boot fix
-CONFIG_SIMICS_FIX = 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
-
-# Framebuffer support
-CONFIG_FB = y
-
-# Framebuffer width
-CONFIG_VESA_WIDTH = 1024
-
-# Framebuffer height
-CONFIG_VESA_HEIGHT = 768
-
-# Framebuffer depth
-CONFIG_VESA_BPP = 24
Index: contrib/default/amd64/output
===================================================================
--- contrib/default/amd64/output	(revision 85156d302a086103852bf03ded648aeb26304afa)
+++ 	(revision )
@@ -1,1 +1,0 @@
-image.iso
Index: contrib/default/arm32/Makefile.config
===================================================================
--- contrib/default/arm32/Makefile.config	(revision 85156d302a086103852bf03ded648aeb26304afa)
+++ 	(revision )
@@ -1,26 +1,0 @@
-# Platform
-PLATFORM = arm32
-
-# 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
-
-# Framebuffer support
-CONFIG_FB = y
Index: contrib/default/arm32/output
===================================================================
--- contrib/default/arm32/output	(revision 85156d302a086103852bf03ded648aeb26304afa)
+++ 	(revision )
@@ -1,1 +1,0 @@
-image.boot
Index: contrib/default/ia32/Makefile.config
===================================================================
--- contrib/default/ia32/Makefile.config	(revision 85156d302a086103852bf03ded648aeb26304afa)
+++ 	(revision )
@@ -1,59 +1,0 @@
-# Platform
-PLATFORM = ia32
-
-# 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
-
-# Simics BIOS AP boot fix
-CONFIG_SIMICS_FIX = 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
-
-# Framebuffer support
-CONFIG_FB = y
-
-# Framebuffer width
-CONFIG_VESA_WIDTH = 1024
-
-# Framebuffer height
-CONFIG_VESA_HEIGHT = 768
-
-# Framebuffer depth
-CONFIG_VESA_BPP = 24
Index: contrib/default/ia32/output
===================================================================
--- contrib/default/ia32/output	(revision 85156d302a086103852bf03ded648aeb26304afa)
+++ 	(revision )
@@ -1,1 +1,0 @@
-image.iso
Index: contrib/default/ia64/Makefile.config
===================================================================
--- contrib/default/ia64/Makefile.config	(revision 85156d302a086103852bf03ded648aeb26304afa)
+++ 	(revision )
@@ -1,47 +1,0 @@
-# Platform
-PLATFORM = ia64
-
-# Machine type
-MACHINE = i460GX
-
-# Ramdisk format
-RDFMT = tmpfs
-
-# Compiler
-COMPILER = gcc_cross
-
-# Debug build
-CONFIG_DEBUG = y
-
-# Support for SMP
-CONFIG_SMP = y
-
-# Lazy FPU context switching
-CONFIG_FPU_LAZY = y
-
-# Use VHPT
-CONFIG_VHPT = n
-
-# Support for NS16550 serial port
-CONFIG_NS16550 = y
-
-# IOSapic on default address support
-CONFIG_IOSAPIC = y
-
-# Interrupt-driven driver for NS16550?
-CONFIG_NS16550_INTERRUPT_DRIVEN = 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
-
-# Compile kernel tests
-CONFIG_TEST = y
Index: contrib/default/ia64/output
===================================================================
--- contrib/default/ia64/output	(revision 85156d302a086103852bf03ded648aeb26304afa)
+++ 	(revision )
@@ -1,1 +1,0 @@
-image.boot
Index: contrib/default/mips32/Makefile.config
===================================================================
--- contrib/default/mips32/Makefile.config	(revision 85156d302a086103852bf03ded648aeb26304afa)
+++ 	(revision )
@@ -1,35 +1,0 @@
-# Platform
-PLATFORM = mips32
-
-# Machine type
-MACHINE = lgxemul
-
-# Ramdisk format
-RDFMT = tmpfs
-
-# Compiler
-COMPILER = gcc_cross
-
-# Debug build
-CONFIG_DEBUG = 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
-
-# Save all interrupt registers
-CONFIG_DEBUG_ALLREGS = y
-
-# Compile kernel tests
-CONFIG_TEST = y
-
-# Framebuffer support
-CONFIG_FB = y
Index: contrib/default/mips32/output
===================================================================
--- contrib/default/mips32/output	(revision 85156d302a086103852bf03ded648aeb26304afa)
+++ 	(revision )
@@ -1,1 +1,0 @@
-image.boot
Index: contrib/default/ppc32/Makefile.config
===================================================================
--- contrib/default/ppc32/Makefile.config	(revision 85156d302a086103852bf03ded648aeb26304afa)
+++ 	(revision )
@@ -1,26 +1,0 @@
-# Platform
-PLATFORM = ppc32
-
-# 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
-
-# Use Block Address Translation by the loader
-CONFIG_BAT = y
Index: contrib/default/ppc32/output
===================================================================
--- contrib/default/ppc32/output	(revision 85156d302a086103852bf03ded648aeb26304afa)
+++ 	(revision )
@@ -1,1 +1,0 @@
-image.boot
Index: contrib/default/sparc64/Makefile.config
===================================================================
--- contrib/default/sparc64/Makefile.config	(revision 85156d302a086103852bf03ded648aeb26304afa)
+++ 	(revision )
@@ -1,62 +1,0 @@
-# Platform
-PLATFORM = sparc64
-
-# CPU type
-MACHINE = us
-
-# Ramdisk format
-RDFMT = tmpfs
-
-# Compiler
-COMPILER = gcc_cross
-
-# Debug build
-CONFIG_DEBUG = y
-
-# Support for SMP
-CONFIG_SMP = y
-
-# Lazy FPU context switching
-CONFIG_FPU_LAZY = y
-
-# Use TSB
-CONFIG_TSB = y
-
-# Support for Z8530 serial port
-CONFIG_Z8530 = y
-
-# Support for NS16550 serial port
-CONFIG_NS16550 = y
-
-# Support for Serengeti console
-CONFIG_SGCN = y
-
-# Interrupt-driven driver for NS16550?
-CONFIG_NS16550_INTERRUPT_DRIVEN = y
-
-# Virtually indexed D-cache support
-CONFIG_VIRT_IDX_DCACHE = 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
-
-# Compile kernel tests
-CONFIG_TEST = y
-
-# Start AP processors by the loader
-CONFIG_AP = y
-
-# Preserve A.OUT header in isofs.b
-CONFIG_AOUT_ISOFS_B = y
-
-# External ramdisk
-CONFIG_RD_EXTERNAL = n
Index: contrib/default/sparc64/output
===================================================================
--- contrib/default/sparc64/output	(revision 85156d302a086103852bf03ded648aeb26304afa)
+++ 	(revision )
@@ -1,1 +1,0 @@
-image.iso