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(-)

 # Compute x86-specific values

 # This one really need a little love! :-(

 CT_DoArchValues() {

     # The architecture part of the tuple:

     arch="${CT_ARCH_ARCH}"

     [ -z "${arch}" ] && arch="${CT_ARCH_TUNE}"

     case "${arch}" in

         nocona|athlon*64|k8|athlon-fx|opteron)

             CT_DoError "Architecture is x86 (32-bit) but selected processor is \"${arch}\" (64-bit)";;

         "")                           CT_TARGET_ARCH=i386;;

         i386|i486|i586|i686)          CT_TARGET_ARCH="${arch}";;

         winchip*)                     CT_TARGET_ARCH=i486;;

         pentium|pentium-mmx|c3*)      CT_TARGET_ARCH=i586;;

         pentiumpro|pentium*|athlon*)  CT_TARGET_ARCH=i686;;

         *)                            CT_TARGET_ARCH=i586;;

     esac

     # The kernel ARCH:

     CT_KERNEL_ARCH=i386

 }