From: Stefano Stabellini Date: Mon, 24 Sep 2018 22:55:04 +0000 (-0700) Subject: xen/arm: introduce NO_PLAT X-Git-Tag: archive/raspbian/4.14.0+80-gd101b417b7-1+rpi1^2~63^2~3083 X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=8e751ac59cfd1143d095c45927ba1bec0d441ee4;p=xen.git xen/arm: introduce NO_PLAT Add a Kconfig option to select no specific platform support. Signed-off-by: Stefano Stabellini Reviewed-by: Andrii Anisov --- 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