[ar71xx] update kernel config

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

diff --git a/toolchain/gcc/Config.in b/toolchain/gcc/Config.in
index 44d3029..40042ee 100644 (file)
--- a/toolchain/gcc/Config.in
+++ b/toolchain/gcc/Config.in
@@ -6,6 +6,7 @@ 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
        default GCC_VERSION_4_1_2
        help
          Select the version of gcc you wish to use.
@@ -21,6 +22,18 @@ choice
                depends !LINUX_2_4
                bool "gcc 4.2.4"
 
+       config GCC_VERSION_4_3_1
+               depends !LINUX_2_4
+               bool "gcc 4.3.1"
+
+       config GCC_VERSION_4_3_2
+               depends !LINUX_2_4
+               bool "gcc 4.3.2"
+
+       config GCC_VERSION_4_3_3
+               depends !LINUX_2_4
+               bool "gcc 4.3.3"
+
 endchoice
 
 config EABI_SUPPORT