yann@1: # Kernel options yann@1: yann@1: menu "Kernel" yann@1: yann@1: choice yann@1: bool yann@34: prompt "Target OS" yann@1: default KERNEL_LINUX yann@1: yann@1: config KERNEL_LINUX yann@1: bool yann@1: prompt "linux" yann@1: help yann@1: Build a toolchain targeting systems running Linux as a kernel. yann@1: yann@1: endchoice yann@1: yann@1: config KERNEL_VERSION yann@1: string yann@1: yann@1: if KERNEL_LINUX yann@448: source config/kernel/linux.in yann@1: endif yann@1: yann@1: endmenu