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

 This is the README for crosstool-NG

 To get you started, just enter:

   ./configure --help

 You can find a (terse and WIP) documentation in docs/overview.txt.

 You can also point your browser to

   http://ymorin.is-a-geek.org/dokuwiki/projects/crosstool

 If you need to send a bug report or a patch, please send a mail with subject

 prefixed with "[CT_NG]" with the following destinations:

     TO: yann.morin.1998 (at) anciens.enib.fr

     CC: crossgcc (at) sourceware.org

 The people that helped are listed in docs/CREDITS. Many thanks to them! :-)

 The list of known issues is listed in docs.known-issues.txt.

 Aloha!