diff options
Diffstat (limited to 'config/kernel.in')
| -rw-r--r-- | config/kernel.in | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/config/kernel.in b/config/kernel.in index 446bd6bf..7e8cce8f 100644 --- a/config/kernel.in +++ b/config/kernel.in @@ -6,18 +6,15 @@ menu "Operating System" # we have a kernel or not (there might be different bare metal stuff)... config BARE_METAL bool - default n config MINGW32 bool - default n # Each target OS (aka kernel) that support shared libraries can select # this, so the user can decide whether or not to build a shared library # enabled toolchain config KERNEL_SUPPORTS_SHARED_LIBS bool - default n config KERNEL string |