diff -r 25bd163c6886 -r 9fb0f81b4416 config/arch/arm/config.in
--- a/config/arch/arm/config.in	Sun Oct 05 12:32:42 2008 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,26 +0,0 @@
-# ARM specific configuration file
-
-config ARCH_arm
-    select ARCH_SUPPORTS_BOTH_ENDIAN
-    select ARCH_DEFAULT_LE
-    select ARCH_SUPPORT_ARCH
-    select ARCH_SUPPORT_CPU
-    select ARCH_SUPPORT_TUNE
-    select ARCH_SUPPORT_FPU
-    help
-      The ARM architecture, as defined by:
-        http://www.arm.com/
-
-config ARCH_ARM_EABI
-    bool
-    prompt "Use EABI"
-    default n
-    help
-      Set up the toolchain so that it generates EABI-compliant binaries.
-
-config ARCH_ARM_ABI_OK
-    bool
-    default y
-    depends on ! ARCH_ARM_EABI
-    select ARCH_SUPPORT_ABI
-