yann@1: # Kernel options yann@1: yann@861: menu "Operating System" yann@861: yann@883: # Config option used throughout the config and code to determine wether yann@883: # we hace a kernel or not (there might be different bare metal stuff... yann@883: config BARE_METAL yann@883: bool yann@883: default n yann@883: 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