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)...
|
2017-05-27 07:01:49 +00:00
|
|
|
# FIXME use CT_KERNEL_bare_metal instead
|
2008-09-28 21:31:13 +00:00
|
|
|
config BARE_METAL
|
|
|
|
bool
|
|
|
|
|
2017-05-27 07:01:49 +00:00
|
|
|
# FIXME use CT_KERNEL_windows instead
|
2012-11-14 13:05:49 +00:00
|
|
|
config WINDOWS
|
2010-07-11 19:36:20 +00:00
|
|
|
bool
|
|
|
|
|
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
|
|
|
|
|
2017-04-23 01:41: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
|