Generate the choice menu for C compilers, the same way arch, kernels and C libraries are generated.

/trunk/kconfig/kconfig.mk | 6 6 0 0 ++++++
/trunk/config/cc/gcc.in | 13 13 0 0 +++++++++++++
/trunk/config/cc.in | 31 3 28 0 +++----------------------------
3 files changed, 22 insertions(+), 28 deletions(-)

 # Kernel options

 menu "Operating System"

 # Config option used throughout the config and code to determine wether

 # we have a kernel or not (there might be different bare metal stuff...

 config BARE_METAL

     bool

     default n

 config KERNEL

     string

 config KERNEL_VERSION

     string

 source config.gen/kernel.in

 endmenu