Generate the choice menu for C libraries, the same way arch and kernels are generated.

/trunk/kconfig/kconfig.mk | 10 8 2 0 ++++++--
/trunk/scripts/build/libc/glibc.sh | 2 1 1 0 +-
/trunk/config/libc/glibc.in | 22 6 16 0 +++++-------------
/trunk/config/libc/uClibc.in | 7 6 1 0 +++++-
/trunk/config/libc/eglibc.in | 12 11 1 0 +++++++++-
/trunk/config/libc.in | 53 4 49 0 +++-----------------------------------------
6 files changed, 36 insertions(+), 70 deletions(-)

# Bare metal config options

# EXPERIMENTAL

config KERNEL_bare_metal

    select BARE_METAL

    help

      'Bare metal' refers to those programs that run without any kernel.

      You probably want to say 'y' here if you plan to use your compiler

      to build bootloaders. It is not yet suitable to build Linux kernels,

      though, because the APCI stuff relies on the target C library headers

      being available?!?!...