choice
	prompt "Platform Support" if MMU
	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 R-Car Gen3 support"
	depends on ARM_64
	select HAS_SCIF
	select IPMMU_VMSA
	help
	  Enable support for Renesas R-Car Generation 3 SoCs (H3, M3, etc.).
	  Includes all required drivers and platform-specific features.

config RCAR4
	bool "Renesas R-Car Gen4 support"
	depends on ARM_64
	select GICV3
	select HAS_SCIF
	select HAS_ITS
	select IPMMU_VMSA
	help
	  Enable support for Renesas R-Car Generation 4 SoCs (V4H, V4M, etc.).
	  Includes all required drivers and platform-specific features.

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 S32G3
	bool "NXP S32G3 Processors support"
	depends on ARM_64
	select HAS_LINFLEX
	select SCMI_SMC
	help
	  Enable all the required drivers for NXP S32G3 Processors Family

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)
