1 # Kernel options
2
3 menu "Operating System"
4
5 config KERNEL
6 string
7
8 config KERNEL_VERSION
9 string
10
11 choice
12 bool
13 prompt "Target OS"
14
15 source config.gen/kernel.in
16
17 endchoice
18
19 endmenu