opensbi/Kconfig

# 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"
Makefile: Add initial kconfig support for each platform We extend the top-level makefile to allow kconfig based configuration for each platform where each platform has it's own set of configs with "defconfig" being the default config. Signed-off-by: Anup Patel <apatel@ventanamicro.com> Tested-by: Andrew Jones <ajones@ventanamicro.com> Acked-by: Atish Patra <atishp@rivosinc.com> Tested-by: Atish Patra <atishp@rivosinc.com> 2022-08-08 09:33:09 +05:30			`# 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`

lib: sbi_ecall: Add Kconfig option for each extension 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> 2022-10-11 00:34:45 +08:00			`source "$(OPENSBI_SRC_DIR)/lib/sbi/Kconfig"`

Makefile: Add initial kconfig support for each platform We extend the top-level makefile to allow kconfig based configuration for each platform where each platform has it's own set of configs with "defconfig" being the default config. Signed-off-by: Anup Patel <apatel@ventanamicro.com> Tested-by: Andrew Jones <ajones@ventanamicro.com> Acked-by: Atish Patra <atishp@rivosinc.com> Tested-by: Atish Patra <atishp@rivosinc.com> 2022-08-08 09:33:09 +05:30			`source "$(OPENSBI_SRC_DIR)/lib/utils/Kconfig"`

			`source "$(OPENSBI_SRC_DIR)/firmware/Kconfig"`