Add a Kconfig option to select no specific platform support.
Signed-off-by: Stefano Stabellini <[email protected]>
---
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
[email protected]
https://lists.xenproject.org/mailman/listinfo/xen-devel