enable gpiodev on ixp4xx

[openwrt.git] / toolchain / gcc / Config.in

diff --git a/toolchain/gcc/Config.in b/toolchain/gcc/Config.in
index 03f7edd..ed43f8f 100644 (file)
--- a/toolchain/gcc/Config.in
+++ b/toolchain/gcc/Config.in
@@ -4,6 +4,7 @@ choice
        prompt "GCC compiler Version" if TOOLCHAINOPTS
        default GCC_VERSION_3_4_6 if LINUX_2_4
        default GCC_VERSION_4_2_0 if TARGET_magicbox
+       default GCC_VERSION_4_2_3 if TARGET_avr32
        default GCC_VERSION_4_1_2
        help
          Select the version of gcc you wish to use.
@@ -33,6 +34,14 @@ choice
 
 endchoice
 
+config EABI_SUPPORT
+       bool
+       depends arm||armeb
+       prompt "Enable EABI support" if TOOLCHAINOPTS
+       default n
+       help
+         Enable ARM EABI support
+
 config EXTRA_GCC_CONFIG_OPTIONS
        string
        prompt "Additional gcc options" if TOOLCHAINOPTS