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.