From 8e751ac59cfd1143d095c45927ba1bec0d441ee4 Mon Sep 17 00:00:00 2001 From: Stefano Stabellini Date: Mon, 24 Sep 2018 15:55:04 -0700 Subject: [PATCH] xen/arm: introduce NO_PLAT Add a Kconfig option to select no specific platform support. Signed-off-by: Stefano Stabellini Reviewed-by: Andrii Anisov --- 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 -- 2.30.2