author | David Holsgrove <david.holsgrove@xilinx.com> |
Thu Oct 11 14:39:45 2012 +1000 (2012-10-11) | |
changeset 3094 | 07a87075fa2d |
parent 2017 | f637b6c2162b |
child 3112 | 6cb56b3f2d34 |
permissions | -rw-r--r-- |
1 # Kernel options
3 menu "Operating System"
5 # Config option used throughout the config and code to determine wether
6 # we have a kernel or not (there might be different bare metal stuff)...
7 config BARE_METAL
8 bool
10 config MINGW32
11 bool
13 # Each target OS (aka kernel) that support shared libraries can select
14 # this, so the user can decide whether or not to build a shared library
15 # enabled toolchain
16 config KERNEL_SUPPORTS_SHARED_LIBS
17 bool
19 config KERNEL
20 string
22 config KERNEL_VERSION
23 string
25 source "config.gen/kernel.in"
27 comment "Common kernel options"
29 config SHARED_LIBS
30 bool
31 prompt "Build shared libraries"
32 depends on KERNEL_SUPPORTS_SHARED_LIBS
33 default y
34 help
35 Say 'y' here, unless you don't want shared libraries.
37 You might not want shared libraries if you're building for a target that
38 don't support it (maybe some nommu targets, for example, or bare metal).
40 source "config.gen/kernel.in.2"
42 endmenu