diff -r 5377799f236e -r f1ee20bc057e config/kernel/linux.in
--- a/config/kernel/linux.in	Wed Aug 19 17:05:42 2009 +0200
+++ b/config/kernel/linux.in	Sun Aug 30 16:47:51 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.