[Xen-devel] [PATCH v3 2/2] xen/arm: introduce NO_PLAT

[Stefano Stabellini <sstabellini@xxxxxxxxxx>]

Add a Kconfig option to select no specific platform support.

Signed-off-by: Stefano Stabellini <stefanos@xxxxxxxxxx>
---
Changes in v3:
- need to add ifneq ($(CONFIG_NO_PLAT),y) around subdir-y += platforms
  otherwise compilation fails when no platforms are selected:

make -f /local/repos/xen-upstream/xen/Rules.mk -C 
/local/repos/xen-upstream/xen/arch/arm built_in.o
make[3]: Entering directory `/local/repos/xen-upstream/xen/arch/arm'
make[3]: *** No rule to make target `platforms/built-in.o', needed by 
`built_in.o'.  Stop.
---
 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 b9b141d..84ebcf4 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 409d3f8..bc0e9cd 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
-- 
1.9.1


_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/mailman/listinfo/xen-devel