1.1 --- a/config/kernel.in	Sun Jul 11 21:36:20 2010 +0200
     1.2 +++ b/config/kernel.in	Tue May 31 16:27:39 2011 +0200
     1.3 @@ -6,18 +6,15 @@
     1.4  # we have a kernel or not (there might be different bare metal stuff)...
     1.5  config BARE_METAL
     1.6      bool
     1.7 -    default n
     1.8  
     1.9  config MINGW32
    1.10      bool
    1.11 -    default n
    1.12  
    1.13  # Each target OS (aka kernel) that support shared libraries can select
    1.14  # this, so the user can decide whether or not to build a shared library
    1.15  # enabled toolchain
    1.16  config KERNEL_SUPPORTS_SHARED_LIBS
    1.17      bool
    1.18 -    default n
    1.19  
    1.20  config KERNEL
    1.21      string