author | "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> |
Thu Oct 09 17:40:15 2008 +0000 (2008-10-09) | |
changeset 912 | e611d558eb25 |
parent 883 | 927b30e32709 |
child 920 | 44dd635202a4 |
permissions | -rw-r--r-- |
1 # Kernel options
3 menu "Operating System"
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
11 config KERNEL
12 string
14 config KERNEL_VERSION
15 string
17 choice
18 bool
19 prompt "Target OS"
21 source config.gen/kernel.in
23 endchoice
25 endmenu