diff -r 2f7b676c7b2f -r 151d753de99f arch/arm/config.in
--- a/arch/arm/config.in	Fri Sep 14 17:43:16 2007 +0000
+++ b/arch/arm/config.in	Fri Sep 14 21:31:00 2007 +0000
@@ -0,0 +1,8 @@
+comment "ARM specific options"
+
+config ARCH_ARM_EABI
+    bool
+    prompt "Use EABI"
+    default n
+    help
+      Set up the toolchain so that it generates EABI-compliant binaries.