1.1 --- a/config/kernel.in Sun Jul 11 21:36:20 2010 +0200
1.2 +++ b/config/kernel.in Wed Jun 22 22:54:14 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