blob: f46a937f74202f9a1098ae403fd040f514ffb5d5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
|
# Kernel options
config KERNEL
string
default "none" if BARE_METAL
default "linux" if KERNEL_LINUX
if ! BARE_METAL
menu "Kernel"
choice
bool
prompt "Target OS"
default KERNEL_LINUX
config KERNEL_LINUX
bool
prompt "linux"
help
Build a toolchain targeting systems running Linux as a kernel.
endchoice
config KERNEL_VERSION
string
if KERNEL_LINUX
source config/kernel/linux.in
endif
endmenu
endif # ! BARE_METAL
|