choice
	prompt "Platform Support"
	default ALL_PLAT
	help
	Choose which hardware platform to enable in Xen.

	If unsure, choose ALL_PLAT.

config ALL_PLAT
	bool "All Platforms"
	help
	Enable support for all available hardware platforms. It doesn't
	automatically select any of the related drivers.

config QEMU
	bool "QEMU aarch virt machine support"
	depends on ARM_64
	select GICV3
	select HAS_PL011
	help
	Enable all the required drivers for QEMU aarch64 virt emulated
	machine.

config RCAR3
	bool "Renesas RCar3 support"
	depends on ARM_64
	select HAS_SCIF
	select IPMMU_VMSA
	help
	Enable all the required drivers for Renesas RCar3

config MPSOC
	bool "Xilinx Ultrascale+ MPSoC support"
	depends on ARM_64
	select HAS_CADENCE_UART
	select ARM_SMMU
	help
	Enable all the required drivers for Xilinx Ultrascale+ MPSoC

config NO_PLAT
	bool "No Platforms"
	help
	Do not enable specific support for any platform.

endchoice

config ALL64_PLAT
	bool
	default (ALL_PLAT && ARM_64)

config ALL32_PLAT
	bool
	default (ALL_PLAT && ARM_32)

config MPSOC_PLATFORM
	bool
	default (ALL64_PLAT || MPSOC)

