diff -r 2f7b676c7b2f -r 2fa4b675a9a3 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:50:30 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.