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

 # powerpc specific configuration file

 config ARCH_powerpc

     select ARCH_SUPPORT_ABI

     select ARCH_SUPPORT_CPU

     select ARCH_SUPPORT_TUNE

     help

       The PowerPC architecture, as defined by:

         http://www.ibm.com/developerworks/eserver/articles/archguide.html

 config ARCH_POWERPC_SPE

     bool

     prompt "Enable SPE support"

     default n

     help

       Add support for the Signal Processing Engine.  This will set up

       the toolchain so that it supports the SPE ABI extensions. This

       mainly targets Freescale e500 processors.

       Setting this option will append "spe" to the end of your target

       tuple name (e.g., powerpc-e500v2-linux-gnuspe) so that the gcc

       configure/build system will know to include SPE ABI support.

       It will also automatically add "-mabi=spe -mspe" to your

       TARGET_CFLAGS, and "--enable-e500_double" to your CC_EXTRA_CONFIG,

       so you do not need to explicitly add them.