forked from Mirrors/opensbi
22f38ee6c6
For each SBI extension, we: - Add a Kconfig option for it - Add the extension to sbi_ecall_exts only if the extension is enabled - Add the corresponding sbi_ecall_* object file only if the extension is enabled Special cases are as follows: - The legacy extensions are lumped together as one 'big' extension, as has always been the case in OpenSBI code. - The platform-defined vendor extensions are regarded as one extension. - The Base extension cannot be disabled. - sbi_ecall_replace implements multiple extensions, so it's not easy to avoid linking it in. Enable it always, and use #ifdef to disable/enable individual extensions. Signed-off-by: Vivian Wang <dramforever@live.com> Reviewed-by: Andrew Jones <ajones@ventanamicro.com> Reviewed-by: Anup Patel <anup@brainfault.org>
26 lines
516 B
Plaintext
26 lines
516 B
Plaintext
# 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"
|