Kconfig 516 B

12345678910111213141516171819202122232425
  1. # SPDX-License-Identifier: BSD-2-Clause
  2. mainmenu "OpenSBI $(OPENSBI_PLATFORM) Configuration"
  3. config OPENSBI_SRC_DIR
  4. string
  5. option env="OPENSBI_SRC_DIR"
  6. config OPENSBI_PLATFORM
  7. string
  8. option env="OPENSBI_PLATFORM"
  9. config OPENSBI_PLATFORM_SRC_DIR
  10. string
  11. option env="OPENSBI_PLATFORM_SRC_DIR"
  12. menu "Platform Options"
  13. source "$(OPENSBI_PLATFORM_SRC_DIR)/Kconfig"
  14. endmenu
  15. source "$(OPENSBI_SRC_DIR)/lib/sbi/Kconfig"
  16. source "$(OPENSBI_SRC_DIR)/lib/utils/Kconfig"
  17. source "$(OPENSBI_SRC_DIR)/firmware/Kconfig"