[ar71xx] enable I2C_GPIO driver

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

diff --git a/toolchain/gcc/Config.in b/toolchain/gcc/Config.in
index fde5def..18891b5 100644 (file)
--- a/toolchain/gcc/Config.in
+++ b/toolchain/gcc/Config.in
@@ -6,7 +6,9 @@ choice
        default GCC_VERSION_4_2_4 if TARGET_avr32
        default GCC_VERSION_4_2_4 if TARGET_ppc40x
        default GCC_VERSION_4_2_4 if TARGET_ppc44x
-       default GCC_VERSION_4_2_4 if TARGET_ps3_petitboot
+       default GCC_VERSION_4_3_3 if TARGET_ps3_petitboot
+       default GCC_VERSION_4_3_3 if TARGET_etrax
+       default GCC_VERSION_4_3_3 if TARGET_coldfire
        default GCC_VERSION_4_1_2
        help
          Select the version of gcc you wish to use.
@@ -23,6 +25,9 @@ if !LINUX_2_4
 
        config GCC_VERSION_4_3_3
                bool "gcc 4.3.3"
+
+       config GCC_VERSION_4_4_0
+               bool "gcc 4.4.0"
 endif
 
 endchoice
@@ -31,6 +36,7 @@ config EABI_SUPPORT
        bool
        depends arm||armeb
        prompt "Enable EABI support" if TOOLCHAINOPTS
+       default n if TARGET_gemini
        default y
        help
          Enable ARM EABI support