diff -r fe3eda71a9d0 -r 7f742f73c2d1 config/arch/arm.in
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/config/arch/arm.in	Wed May 13 20:55:15 2009 +0000
@@ -0,0 +1,26 @@
+# 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
+