xen/arm: introduce NO_PLAT

Add a Kconfig option to select no specific platform support.

Signed-off-by: Stefano Stabellini <stefanos@xilinx.com>
Reviewed-by: Andrii Anisov <andrii_anisov@epam.com>

diff --git a/xen/arch/arm/Makefile b/xen/arch/arm/Makefile
index 37fa8268b38b2f371a069e0c314bf42279e423c4..23c5d9adbcc222bacb48768c0a2357794f59815c 100644 (file)
--- a/xen/arch/arm/Makefile
+++ b/xen/arch/arm/Makefile
@@ -1,8 +1,10 @@
 subdir-$(CONFIG_ARM_32) += arm32
 subdir-$(CONFIG_ARM_64) += arm64
-subdir-y += platforms
 subdir-$(CONFIG_ARM_64) += efi
 subdir-$(CONFIG_ACPI) += acpi
+ifneq ($(CONFIG_NO_PLAT),y)
+subdir-y += platforms
+endif
 
 obj-$(CONFIG_HAS_ALTERNATIVE) += alternative.o
 obj-y += bootfdt.init.o

diff --git a/xen/arch/arm/platforms/Kconfig b/xen/arch/arm/platforms/Kconfig
index 409d3f8f8ff6c1eeaa937bc7aaad906c1727412b..bc0e9cd2c776abf0323d1d1ea4d144eb139645c8 100644 (file)
--- a/xen/arch/arm/platforms/Kconfig
+++ b/xen/arch/arm/platforms/Kconfig
@@ -36,6 +36,11 @@ config MPSOC
        ---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