blob: 64b69c60958b24eb87d2a73d1639093d0d308145 [file] [log] [blame]
# Kernel options
menu "Operating System"
# Config option used throughout the config and code to determine wether
# we have a kernel or not (there might be different bare metal stuff)...
config BARE_METAL
bool
config WINDOWS
bool
# 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
config KERNEL
string
config KERNEL_VERSION
string
source "config.gen/kernel.in"
comment "Common kernel options"
config SHARED_LIBS
bool
prompt "Build shared libraries"
depends on KERNEL_SUPPORTS_SHARED_LIBS
default y
help
Say 'y' here, unless you don't want shared libraries.
You might not want shared libraries if you're building for a target that
don't support it (maybe some nommu targets, for example, or bare metal).
source "config.gen/kernel.in.2"
endmenu