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