# Linux kernel options
config KERNEL_linux
help
Build a toolchain targeting systems running Linux as a kernel.