config/kernel.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Wed Oct 08 11:57:03 2008 +0000 (2008-10-08)
changeset 910 9db42913e2ae
parent 883 927b30e32709
child 920 44dd635202a4
permissions -rw-r--r--
populate:
- add an option to force installation of listed libraries,
- add an option to read a file listing libraries of which to force installation.

/trunk/tools/populate.in | 126 104 22 0 +++++++++++++++++++++++++++++++++++++++++++++---------
1 file changed, 104 insertions(+), 22 deletions(-)
yann@1
     1
# Kernel options
yann@1
     2
yann@861
     3
menu "Operating System"
yann@861
     4
yann@883
     5
# Config option used throughout the config and code to determine wether
yann@908
     6
# we have a kernel or not (there might be different bare metal stuff...
yann@883
     7
config BARE_METAL
yann@883
     8
    bool
yann@883
     9
    default n
yann@883
    10
yann@847
    11
config KERNEL
yann@847
    12
    string
yann@847
    13
yann@861
    14
config KERNEL_VERSION
yann@861
    15
    string
yann@850
    16
yann@1
    17
choice
yann@1
    18
    bool
yann@34
    19
    prompt "Target OS"
yann@1
    20
yann@861
    21
source config.gen/kernel.in
yann@854
    22
yann@1
    23
endchoice
yann@1
    24
yann@1
    25
endmenu