2007-02-24 11:00:05 +00:00
|
|
|
# Kernel options
|
|
|
|
|
2008-09-16 17:39:40 +00:00
|
|
|
menu "Operating System"
|
|
|
|
|
2008-09-28 21:31:13 +00:00
|
|
|
# Config option used throughout the config and code to determine wether
|
2009-05-13 20:55:15 +00:00
|
|
|
# we have a kernel or not (there might be different bare metal stuff)...
|
2008-09-28 21:31:13 +00:00
|
|
|
config BARE_METAL
|
|
|
|
bool
|
|
|
|
default n
|
|
|
|
|
2009-08-30 14:44:59 +00:00
|
|
|
# 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
|
|
|
|
|
2008-09-10 21:40:23 +00:00
|
|
|
config KERNEL
|
|
|
|
string
|
|
|
|
|
2008-09-16 17:39:40 +00:00
|
|
|
config KERNEL_VERSION
|
|
|
|
string
|
2008-09-14 16:21:07 +00:00
|
|
|
|
2010-03-29 18:24:50 +00:00
|
|
|
source "config.gen/kernel.in"
|
2008-09-15 09:43:35 +00:00
|
|
|
|
2009-08-30 14:54:30 +00:00
|
|
|
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).
|
|
|
|
|
2007-02-24 11:00:05 +00:00
|
|
|
endmenu
|