if ARCH_QEMU

config ARCH_TEXT_BASE
	hex
	default 0x40000000

choice
	prompt "ARM Board type"

config MACH_QEMU_VIRT64
	bool "QEMU arm64 virt machine"
	select CPU_V8
	select SYS_SUPPORTS_64BIT_KERNEL
	select ARM_AMBA
	select HAVE_CONFIGURABLE_MEMORY_LAYOUT

endchoice
endif