mirror of
https://gitee.com/bianbu-linux/opensbi
synced 2025-04-21 21:37:07 -04:00
25 lines
516 B
Text
25 lines
516 B
Text
# 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"
|