| author | "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> |
| Sun Aug 30 16:44:59 2009 +0200 (2009-08-30) | |
| changeset 1499 | ff1f40a8f9c1 |
| parent 1337 | 7f742f73c2d1 |
| child 1502 | 472cfde636a1 |
| 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
9 default n
11 # Each target OS (aka kernel) that support shared libraries can select
12 # this, so the user can decide whether or not to build a shared library
13 # enabled toolchain
14 config KERNEL_SUPPORTS_SHARED_LIBS
15 bool
16 default n
18 config KERNEL
19 string
21 config KERNEL_VERSION
22 string
24 source config.gen/kernel.in
26 endmenu