# Kernel options 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/kernel_linux.in endif endmenu