summaryrefslogtreecommitdiff
path: root/config/kernel.in
blob: 0178480e55adce4ce90434fdec91f5ce5289afc4 (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
# Kernel options

menu "Operating System"

# Config option used throughout the config and code to determine wether
# we have a kernel or not (there might be different bare metal stuff...
config BARE_METAL
    bool
    default n

config KERNEL
    string

config KERNEL_VERSION
    string

choice
    bool
    prompt "Target OS"

source config.gen/kernel.in

endchoice

endmenu