yann@1: # Kernel options
yann@1: 
yann@861: menu "Operating System"
yann@861: 
yann@847: config KERNEL
yann@847:     string
yann@847: 
yann@861: config KERNEL_VERSION
yann@861:     string
yann@850: 
yann@1: choice
yann@1:     bool
yann@34:     prompt "Target OS"
yann@1: 
yann@861: source config.gen/kernel.in
yann@854: 
yann@1: endchoice
yann@1: 
yann@1: endmenu