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

[patchbot@xxxxxxx]

commit 8e751ac59cfd1143d095c45927ba1bec0d441ee4
Author:     Stefano Stabellini <sstabellini@xxxxxxxxxx>
AuthorDate: Mon Sep 24 15:55:04 2018 -0700
Commit:     Stefano Stabellini <sstabellini@xxxxxxxxxx>
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 <stefanos@xxxxxxxxxx>
    Reviewed-by: Andrii Anisov <andrii_anisov@xxxxxxxx>
---
 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

_______________________________________________
Xen-changelog mailing list
Xen-changelog@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/xen-changelog