config/kernel.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Tue Sep 16 17:39:40 2008 +0000 (2008-09-16)
changeset 861 5506fbbad59b
parent 854 f347a40db591
child 883 927b30e32709
permissions -rw-r--r--
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(-)
yann@1
     1
# Kernel options
yann@1
     2
yann@861
     3
menu "Operating System"
yann@861
     4
yann@847
     5
config KERNEL
yann@847
     6
    string
yann@847
     7
yann@861
     8
config KERNEL_VERSION
yann@861
     9
    string
yann@850
    10
yann@1
    11
choice
yann@1
    12
    bool
yann@34
    13
    prompt "Target OS"
yann@1
    14
yann@861
    15
source config.gen/kernel.in
yann@854
    16
yann@1
    17
endchoice
yann@1
    18
yann@1
    19
endmenu