boot/opensbi/Config.in

5 	  OpenSBI aims to provide an open-source and extensible
6 	  implementation of the RISC-V SBI specification for a platform
7 	  specific firmware (M-mode) and a general purpose OS,
8 	  hypervisor or bootloader (S-mode or HS-mode). OpenSBI
9 	  implementation can be easily extended by RISC-V platform or
10 	  System-on-Chip vendors to fit a particular hadware
19 	  Select the specific OpenSBI version you want to use
27 	  This option allows to use a specific official versions
68 	string "OpenSBI Platform"
71 	  Specifies the OpenSBI platform to build. If no platform is
72 	  specified only the OpenSBI platform independent static
73 	  library libsbi.a is built. If a platform is specified then
74 	  the platform specific static library libplatsbi.a and firmware
105 	bool "Include U-Boot as OpenSBI Payload"
110 	  Build OpenSBI with the U-Boot as a Payload.
113 	bool "Include U-Boot DTB in OpenSBI Payload"
118 	  $(BINARIES_DIR)/u-boot.dtb. Note that CONFIG_OF_SEPARATE
119 	  must be set in the U-Boot configuration for this file to be