#
# For a description of the syntax of this configuration file,
# see the file kconfig-language.txt in the NuttX tools repository.
#

config OPENSBI
	bool "OpenSBI support"
	depends on ARCH_RISCV && ALLOW_BSD_COMPONENTS
	default n
	---help---
		Enable or disable Open Source Supervisor Binary Interface (OpenSBI) features
		for RISC-V.

config OPENSBI_DOMAINS
	bool "Support multiple OpenSBI boot domains"
	depends on OPENSBI
	default n
