+ config GCC_VERSION_4_0_3
+ bool "gcc 4.0.3"
+
+ config GCC_VERSION_4_1_0
+ bool "gcc 4.1.0"
+
+ config GCC_VERSION_4_1_1
+ bool "gcc 4.1.1"
+
+ config GCC_VERSION_4_1_2
+ bool "gcc 4.1.2"
+
+ config GCC_VERSION_4_2
+ bool "gcc 4.2 (20060709)"
+
+endchoice
+
+config EXTRA_GCC_CONFIG_OPTIONS