summaryrefslogtreecommitdiff
path: root/config
diff options
context:
space:
mode:
Diffstat (limited to 'config')
-rw-r--r--config/kernel.in7
1 files changed, 7 insertions, 0 deletions
diff --git a/config/kernel.in b/config/kernel.in
index 9c701e1..d3ae6dc 100644
--- a/config/kernel.in
+++ b/config/kernel.in
@@ -8,6 +8,13 @@ config BARE_METAL
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