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

 #!/bin/sh

 # Yes, this intends to be a true POSIX script file.

 myname="$0"

 doUsage() {

   cat <<_EOF_

 Usage: ${myname} <dir> <base> <inc>

     Will renumber all patches found in <dir>, starting at <base>, and with

     an increment of <inc>

     Eg.: patch-renumber patches/gcc/4.3.1 100 10

 _EOF_

 }

 [ $# -eq 3 ] || { doUsage; exit 1; }

 [ -d "${1}" ] || { doUsage; exit 1; }

 dir="${1}"

 cpt="${2}"

 inc="${3}"

 case $(LC_ALL=C svnversion 2>/dev/null) in

     exported)   CMD="mv -v";;

     *)          CMD="svn mv";;

 esac

 for p in "${dir}"/*.patch; do

     [ -e "${p}" ] || { echo "No such file '${p}'"; exit 1; }

     newname="$(printf "%03d" ${cpt})-$(basename "${p}" |sed -r -e 's/^[[:digit:]]{3}-//')"

     [ "${p}" = "${dir}/${newname}" ] || ${CMD} "${p}" "${dir}/${newname}"

     cpt=$((cpt+inc))

 done