Index: faults/abs32le/Makefile.config
===================================================================
--- defaults/abs32le/Makefile.config	(revision a9bbe48d462ae3aeec82c9a5717ed1f4388d4c35)
+++ 	(revision )
@@ -1,29 +1,0 @@
-# Platform
-PLATFORM = abs32le
-
-# RAM disk format
-RDFMT = fat
-
-# Compiler
-COMPILER = gcc_native
-
-# Debug build
-CONFIG_DEBUG = y
-
-# Support for userspace debuggers
-CONFIG_UDEBUG = y
-
-# Kernel console support
-CONFIG_KCONSOLE = y
-
-# Kernel symbol information
-CONFIG_SYMTAB = y
-
-# Detailed kernel logging
-CONFIG_LOG = n
-
-# Compile kernel tests
-CONFIG_TEST = y
-
-# Load disk drivers on startup
-CONFIG_START_BD = n
Index: defaults/special/Makefile.config
===================================================================
--- defaults/special/Makefile.config	(revision e7aa9f4ab6485d2a474c70469ff361af0843c86c)
+++ defaults/special/Makefile.config	(revision e7aa9f4ab6485d2a474c70469ff361af0843c86c)
@@ -0,0 +1,26 @@
+# RAM disk format
+RDFMT = fat
+
+# Compiler
+COMPILER = gcc_native
+
+# Debug build
+CONFIG_DEBUG = y
+
+# Support for userspace debuggers
+CONFIG_UDEBUG = y
+
+# Kernel console support
+CONFIG_KCONSOLE = y
+
+# Kernel symbol information
+CONFIG_SYMTAB = y
+
+# Detailed kernel logging
+CONFIG_LOG = n
+
+# Compile kernel tests
+CONFIG_TEST = y
+
+# Load disk drivers on startup
+CONFIG_START_BD = n
Index: defaults/special/abs32le/Makefile.config
===================================================================
--- defaults/special/abs32le/Makefile.config	(revision e7aa9f4ab6485d2a474c70469ff361af0843c86c)
+++ defaults/special/abs32le/Makefile.config	(revision e7aa9f4ab6485d2a474c70469ff361af0843c86c)
@@ -0,0 +1,2 @@
+# Platform
+PLATFORM = abs32le