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.