author | "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> |
Sun Sep 14 18:20:03 2008 +0000 (2008-09-14) | |
changeset 853 | 4309b90b030c |
parent 847 | af75fc1fe0fc |
child 854 | f347a40db591 |
permissions | -rw-r--r-- |
1 # Kernel options
5 config KERNEL
6 string
7 default "none" if BARE_METAL
8 default "linux" if KERNEL_LINUX
10 if ! BARE_METAL
12 menu "Kernel"
14 choice
15 bool
16 prompt "Target OS"
17 default KERNEL_LINUX
19 config KERNEL_LINUX
20 bool
21 prompt "linux"
22 help
23 Build a toolchain targeting systems running Linux as a kernel.
25 endchoice
27 config KERNEL_VERSION
28 string
30 if KERNEL_LINUX
31 source config/kernel/linux.in
32 endif
34 endmenu
36 endif # ! BARE_METAL