# Linux kernel options

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