1choice
2	prompt "Platform Support"
3	default ALL_PLAT
4	---help---
5	Choose which hardware platform to enable in Xen.
6
7	If unsure, choose ALL_PLAT.
8
9config ALL_PLAT
10	bool "All Platforms"
11	---help---
12	Enable support for all available hardware platforms. It doesn't
13	automatically select any of the related drivers.
14
15config QEMU
16	bool "QEMU aarch virt machine support"
17	depends on ARM_64
18	select GICV3
19	select HAS_PL011
20	---help---
21	Enable all the required drivers for QEMU aarch64 virt emulated
22	machine.
23
24config RCAR3
25	bool "Renesas RCar3 support"
26	depends on ARM_64
27	select HAS_SCIF
28	select IPMMU_VMSA if EXPERT
29	---help---
30	Enable all the required drivers for Renesas RCar3
31
32config MPSOC
33	bool "Xilinx Ultrascale+ MPSoC support"
34	depends on ARM_64
35	select HAS_CADENCE_UART
36	select ARM_SMMU
37	---help---
38	Enable all the required drivers for Xilinx Ultrascale+ MPSoC
39
40config NO_PLAT
41	bool "No Platforms"
42	---help---
43	Do not enable specific support for any platform.
44
45endchoice
46
47config ALL64_PLAT
48	bool
49	default (ALL_PLAT && ARM_64)
50
51config ALL32_PLAT
52	bool
53	default (ALL_PLAT && ARM_32)
54
55config MPSOC_PLATFORM
56	bool
57	default (ALL64_PLAT || MPSOC)
58
59