config RISCV
	def_bool y
	select DOMAIN_BUILD_HELPERS
	select FUNCTION_ALIGNMENT_16B
	select GENERIC_BUG_FRAME
	select GENERIC_UART_INIT
	select HAS_DEVICE_TREE_DISCOVERY
	select HAS_EX_TABLE
	select HAS_PMAP
	select HAS_UBSAN
	select HAS_VMAP

config RISCV_64
	def_bool y
	select 64BIT
	select HAS_SVPBMT

config ARCH_DEFCONFIG
	string
	default "arch/riscv/configs/tiny64_defconfig"

config HAS_SVPBMT
	bool

menu "Architecture Features"

source "arch/Kconfig"

endmenu

menu "ISA Selection"

config RISCV_ISA_C
	bool "Compressed extension"
	default y
	help
	  Add "C" to the ISA subsets that the toolchain is allowed to
	  emit when building Xen, which results in compressed instructions
	  in the Xen binary.

	  If unsure, say Y.

endmenu

source "arch/riscv/platforms/Kconfig"

source "common/Kconfig"

source "drivers/Kconfig"
