lib/utils/sys/Kconfig - opensbi - Git at Google


            
            # SPDX-License-Identifier: BSD-2-Clause


            menu "System Device Support"


            config SYS_HTIF

            
            	bool "Host transfere interface (HTIF) support"

            
            	default n


            endmenu
	# SPDX-License-Identifier: BSD-2-Clause

	menu "System Device Support"

	config SYS_HTIF
	bool "Host transfere interface (HTIF) support"
	default n

	endmenu