[Xen-changelog] [xen master] xen/arm: introduce NO_PLAT

[p***@xen.org]

commit 8e751ac59cfd1143d095c45927ba1bec0d441ee4
Author: Stefano Stabellini <***@kernel.org>
AuthorDate: Mon Sep 24 15:55:04 2018 -0700
Commit: Stefano Stabellini <***@kernel.org>
CommitDate: Tue Oct 30 10:58:30 2018 -0700

xen/arm: introduce NO_PLAT

Add a Kconfig option to select no specific platform support.

Signed-off-by: Stefano Stabellini <***@xilinx.com>
Reviewed-by: Andrii Anisov <***@epam.com>
---
xen/arch/arm/Makefile | 4 +++-
xen/arch/arm/platforms/Kconfig | 5 +++++
2 files changed, 8 insertions(+), 1 deletion(-)

diff --git a/xen/arch/arm/Makefile b/xen/arch/arm/Makefile
index 37fa8268b3..23c5d9adbc 100644
--- 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 409d3f8f8f..bc0e9cd2c7 100644
--- 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
--
generated by git-patchbot for /home/xen/git/xen.git#master