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