aboutsummaryrefslogtreecommitdiff
path: root/Kconfig
blob: acfc13888746e7c16592dc9fac9d6761866f2705 (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
# SPDX-License-Identifier: BSD-2-Clause

mainmenu "OpenSBI $(OPENSBI_PLATFORM) Configuration"

config OPENSBI_SRC_DIR
	string
	option env="OPENSBI_SRC_DIR"

config OPENSBI_PLATFORM
	string
	option env="OPENSBI_PLATFORM"

config OPENSBI_PLATFORM_SRC_DIR
	string
	option env="OPENSBI_PLATFORM_SRC_DIR"

menu "Platform Options"
source "$(OPENSBI_PLATFORM_SRC_DIR)/Kconfig"
endmenu

source "$(OPENSBI_SRC_DIR)/lib/sbi/Kconfig"

source "$(OPENSBI_SRC_DIR)/lib/utils/Kconfig"

source "$(OPENSBI_SRC_DIR)/firmware/Kconfig"