diff -r 9c0766bed0d2 -r ca1bf632da51 config/arch/arm.in
--- a/config/arch/arm.in	Wed Oct 21 18:22:05 2009 +0200
+++ b/config/arch/arm.in	Mon Oct 26 09:10:38 2009 +0100
@@ -13,6 +13,31 @@
       The ARM architecture, as defined by:
         http://www.arm.com/
 
+config ARCH_ARM_MODE
+    string
+    default "arm"   if ARCH_ARM_MODE_ARM
+    default "thumb" if ARCH_ARM_MODE_THUMB
+
+choice
+    bool
+    prompt "Default instruction set mode"
+    default ARCH_ARM_MODE_ARM
+
+config ARCH_ARM_MODE_ARM
+    bool
+    prompt "arm"
+    help
+      Defaults to emitting instructions in the ARM mode.
+
+config ARCH_ARM_MODE_THUMB
+    bool
+    prompt "thumb (EXPERIMENTAL)"
+    depends on EXPERIMENTAL
+    help
+      Defaults to emitting instructions in the THUMB mode.
+
+endchoice
+
 config ARCH_ARM_EABI
     bool
     prompt "Use EABI"