yann@448: # Linux kernel options
yann@448: 
yann@861: config KERNEL_linux
yann@861:     help
yann@861:       Build a toolchain targeting systems running Linux as a kernel.
yann@861: