Index: contrib/default/arm32/Makefile.config
===================================================================
--- contrib/default/arm32/Makefile.config	(revision 76bcaaffb233f142c909f6e34135f2812142d12d)
+++ contrib/default/arm32/Makefile.config	(revision 76bcaaffb233f142c909f6e34135f2812142d12d)
@@ -0,0 +1,26 @@
+# 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 76bcaaffb233f142c909f6e34135f2812142d12d)
+++ contrib/default/arm32/output	(revision 76bcaaffb233f142c909f6e34135f2812142d12d)
@@ -0,0 +1,1 @@
+image.boot
Index: contrib/default/ia32/Makefile.config
===================================================================
--- contrib/default/ia32/Makefile.config	(revision 76bcaaffb233f142c909f6e34135f2812142d12d)
+++ contrib/default/ia32/Makefile.config	(revision 76bcaaffb233f142c909f6e34135f2812142d12d)
@@ -0,0 +1,59 @@
+# 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 76bcaaffb233f142c909f6e34135f2812142d12d)
+++ contrib/default/ia32/output	(revision 76bcaaffb233f142c909f6e34135f2812142d12d)
@@ -0,0 +1,1 @@
+image.iso
Index: contrib/default/ia32xen/Makefile.config
===================================================================
--- contrib/default/ia32xen/Makefile.config	(revision 76bcaaffb233f142c909f6e34135f2812142d12d)
+++ contrib/default/ia32xen/Makefile.config	(revision 76bcaaffb233f142c909f6e34135f2812142d12d)
@@ -0,0 +1,44 @@
+# 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 76bcaaffb233f142c909f6e34135f2812142d12d)
+++ contrib/default/ia32xen/output	(revision 76bcaaffb233f142c909f6e34135f2812142d12d)
@@ -0,0 +1,1 @@
+image.iso
Index: contrib/default/ia64/Makefile.config
===================================================================
--- contrib/default/ia64/Makefile.config	(revision 76bcaaffb233f142c909f6e34135f2812142d12d)
+++ contrib/default/ia64/Makefile.config	(revision 76bcaaffb233f142c909f6e34135f2812142d12d)
@@ -0,0 +1,47 @@
+# 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 76bcaaffb233f142c909f6e34135f2812142d12d)
+++ contrib/default/ia64/output	(revision 76bcaaffb233f142c909f6e34135f2812142d12d)
@@ -0,0 +1,1 @@
+image.boot
Index: contrib/default/mips32/Makefile.config
===================================================================
--- contrib/default/mips32/Makefile.config	(revision 76bcaaffb233f142c909f6e34135f2812142d12d)
+++ contrib/default/mips32/Makefile.config	(revision 76bcaaffb233f142c909f6e34135f2812142d12d)
@@ -0,0 +1,35 @@
+# 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 76bcaaffb233f142c909f6e34135f2812142d12d)
+++ contrib/default/mips32/output	(revision 76bcaaffb233f142c909f6e34135f2812142d12d)
@@ -0,0 +1,1 @@
+image.boot
Index: contrib/default/ppc32/Makefile.config
===================================================================
--- contrib/default/ppc32/Makefile.config	(revision 76bcaaffb233f142c909f6e34135f2812142d12d)
+++ contrib/default/ppc32/Makefile.config	(revision 76bcaaffb233f142c909f6e34135f2812142d12d)
@@ -0,0 +1,26 @@
+# 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 76bcaaffb233f142c909f6e34135f2812142d12d)
+++ contrib/default/ppc32/output	(revision 76bcaaffb233f142c909f6e34135f2812142d12d)
@@ -0,0 +1,1 @@
+image.boot
Index: contrib/default/ppc64/Makefile.config
===================================================================
--- contrib/default/ppc64/Makefile.config	(revision 76bcaaffb233f142c909f6e34135f2812142d12d)
+++ contrib/default/ppc64/Makefile.config	(revision 76bcaaffb233f142c909f6e34135f2812142d12d)
@@ -0,0 +1,23 @@
+# 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 76bcaaffb233f142c909f6e34135f2812142d12d)
+++ contrib/default/ppc64/output	(revision 76bcaaffb233f142c909f6e34135f2812142d12d)
@@ -0,0 +1,1 @@
+image.boot
Index: contrib/default/sparc64/Makefile.config
===================================================================
--- contrib/default/sparc64/Makefile.config	(revision 76bcaaffb233f142c909f6e34135f2812142d12d)
+++ contrib/default/sparc64/Makefile.config	(revision 76bcaaffb233f142c909f6e34135f2812142d12d)
@@ -0,0 +1,62 @@
+# 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_SMP = 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 76bcaaffb233f142c909f6e34135f2812142d12d)
+++ contrib/default/sparc64/output	(revision 76bcaaffb233f142c909f6e34135f2812142d12d)
@@ -0,0 +1,1 @@
+image.iso