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