1 # Linux kernel options
2
3 config KERNEL_linux
4 help
5 Build a toolchain targeting systems running Linux as a kernel.
6