# Kernel options
menu "Operating System"
# Config option used throughout the config and code to determine wether
# we hace a kernel or not (there might be different bare metal stuff...
config BARE_METAL
bool
default n
config KERNEL
string
config KERNEL_VERSION
string
choice
bool
prompt "Target OS"
source config.gen/kernel.in
endchoice
endmenu