Generate the kernel config choice, rather than having it hard-coded:
- change the menu label from 'Target OS' to 'Operating System',
- bare-metal is a kind of kernel (OS), rename to 'bare-metal' from 'none',
- update the kconfig.mk to generate the kernel choice entries,
- update glibc&eglibc kernel version option accordingly.
Update the debug & tools confiog file generation to match with arch & kernel.
Print terse command lines when building in kconfig/ (a-la Linux kernel).
Fix the makefile rules in kconfig/kconfig.mk to be /simple/ rules.

/trunk/kconfig/kconfig.mk | 117 81 36 0 +++++++++++++++++++++----------
/trunk/config/kernel/linux.in | 4 4 0 0 +
/trunk/config/kernel/bare-metal.experimental.in | 15 15 0 0 ++++
/trunk/config/kernel.in | 33 5 28 0 +--------
/trunk/config/libc/glibc-eglibc-common.in | 4 2 2 0
5 files changed, 107 insertions(+), 66 deletions(-)

 # GMP and MPFR libraries config options

 menu "GMP and MPFR"

 config GMP_MPFR

     bool

     prompt "GMP and MPFR"

     help

       Recent gcc needs both GMP and MPFR to build some frontends.

       Say 'Y' here if you want to build those two libraries specifically

       for crosstool-NG.

       The packages that can use GMP and MPFR are:

         - binutils

         - gcc

         - gdb

 config GMP_MPFR_TARGET

     bool

     prompt "Build libraries for the target"

     depends on GMP_MPFR

     depends on ! BARE_METAL

     default n

     help

       Also build libraries for the target. This can be usefull if you want

       to later build a compiler that will run on the target, or if you want

       to run gdb natively on the target.

 if GMP_MPFR

 source config/gmp_mpfr/gmp.in

 source config/gmp_mpfr/mpfr.in

 endif

 endmenu