# Kernel options config KERNEL string default "none" if BARE_METAL default "linux" if KERNEL_LINUX if ! BARE_METAL menu "Kernel" choice bool prompt "Target OS" default KERNEL_LINUX config KERNEL_LINUX bool prompt "linux" help Build a toolchain targeting systems running Linux as a kernel. endchoice config KERNEL_VERSION string if KERNEL_LINUX source config/kernel/linux.in endif endmenu endif # ! BARE_METAL