yann@1: # Kernel options
yann@1: 
yann@847: config KERNEL
yann@847:     string
yann@850:     default "none"  if BARE_METAL
yann@847:     default "linux" if KERNEL_LINUX
yann@847: 
yann@854: menu "Target OS"
yann@850: 
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@854:     prompt "Linux"
yann@1:     help
yann@1:       Build a toolchain targeting systems running Linux as a kernel.
yann@1: 
yann@854: config BARE_METAL
yann@854:     bool
yann@854:     prompt "Bare metal (EXPERIMENTAL)"
yann@854:     depends on EXPERIMENTAL
yann@854:     help
yann@854:       Say 'y' here if you want a simple C compiler with no C library.
yann@854:       
yann@854:       'Bare metal' also refer to those programs that run without any kernel.
yann@854:       
yann@854:       You probably want to say 'y' here if you plan to use your compiler
yann@854:       to build only kernels or bootloaders
yann@854: 
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