path: root/config/kernel/linux.in

# Linux kernel options

## select KERNEL_SUPPORTS_SHARED_LIBS
##
## help Build a toolchain targeting systems running Linux as a kernel.