yann@1: # Kernel options yann@1: yann@861: menu "Operating System" yann@861: yann@883: # Config option used throughout the config and code to determine wether yann@1337: # we have a kernel or not (there might be different bare metal stuff)... yann@883: config BARE_METAL yann@883: bool yann@883: default n yann@883: yann@1499: # Each target OS (aka kernel) that support shared libraries can select yann@1499: # this, so the user can decide whether or not to build a shared library yann@1499: # enabled toolchain yann@1499: config KERNEL_SUPPORTS_SHARED_LIBS yann@1499: bool yann@1499: default n yann@1499: yann@847: config KERNEL yann@847: string yann@847: yann@861: config KERNEL_VERSION yann@861: string yann@850: yann@1870: source "config.gen/kernel.in" yann@854: yann@1502: comment "Common kernel options" yann@1502: yann@1502: config SHARED_LIBS yann@1502: bool yann@1502: prompt "Build shared libraries" yann@1502: depends on KERNEL_SUPPORTS_SHARED_LIBS yann@1502: default y yann@1502: help yann@1502: Say 'y' here, unless you don't want shared libraries. yann@1502: yann@1502: You might not want shared libraries if you're building for a target that yann@1502: don't support it (maybe some nommu targets, for example, or bare metal). yann@1502: yann@1976: source "config.gen/kernel.in.2" yann@1976: yann@1: endmenu