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@861: source config.gen/kernel.in
yann@854: 
yann@1: endmenu