# Kernel options

menu "Operating System"

config KERNEL
    string

config KERNEL_VERSION
    string

choice
    bool
    prompt "Target OS"

source config.gen/kernel.in

endchoice

endmenu