Kconfig

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