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(-)
     1 # Kernel options
     2 
     3 menu "Operating System"
     4 
     5 # Config option used throughout the config and code to determine wether
     6 # we have a kernel or not (there might be different bare metal stuff...
     7 config BARE_METAL
     8     bool
     9     default n
    10 
    11 config KERNEL
    12     string
    13 
    14 config KERNEL_VERSION
    15     string
    16 
    17 choice
    18     bool
    19     prompt "Target OS"
    20 
    21 source config.gen/kernel.in
    22 
    23 endchoice
    24 
    25 endmenu