diff -r 5377799f236e -r 9a2838d971d4 config/kernel/linux.in --- a/config/kernel/linux.in Wed Aug 19 17:05:42 2009 +0200 +++ b/config/kernel/linux.in Sun Sep 06 16:49:54 2009 +0200 @@ -3,6 +3,7 @@ # Linux kernel options config KERNEL_linux + select KERNEL_SUPPORTS_SHARED_LIBS help Build a toolchain targeting systems running Linux as a kernel.