summaryrefslogtreecommitdiff
path: root/config/kernel.in
blob: a2a968606f868949ec63edef89bb6b8f38e5c3b8 (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 hace 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