enable gpiodev on ixp4xx

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

diff --git a/toolchain/gcc/Config.in b/toolchain/gcc/Config.in
index 36e88d6..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.
@@ -27,8 +28,20 @@ choice
                depends !LINUX_2_4
                bool "gcc 4.2.2"
 
+       config GCC_VERSION_4_2_3
+               depends !LINUX_2_4
+               bool "gcc 4.2.3"
+
 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