[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [PATCH 18/19] xen/dt: Allow CONFIG_DOM0LESS_BOOT to include device-tree/
... without CONFIG_HAS_DEVICE_TREE Signed-off-by: Alejandro Vallejo <agarciav@xxxxxxx> --- xen/common/Kconfig | 1 + xen/common/Makefile | 2 +- xen/common/device-tree/Makefile | 8 ++++---- 3 files changed, 6 insertions(+), 5 deletions(-) diff --git a/xen/common/Kconfig b/xen/common/Kconfig index 0951d4c2f2..353ccbd06f 100644 --- a/xen/common/Kconfig +++ b/xen/common/Kconfig @@ -14,6 +14,7 @@ config CORE_PARKING config DOM0LESS_BOOT bool "Dom0less boot support" if EXPERT + select LIBFDT depends on HAS_DOM0LESS && HAS_DEVICE_TREE && DOMAIN_BUILD_HELPERS default y help diff --git a/xen/common/Makefile b/xen/common/Makefile index 98f0873056..2717c81f9c 100644 --- a/xen/common/Makefile +++ b/xen/common/Makefile @@ -8,7 +8,7 @@ obj-y += cpu.o obj-$(CONFIG_DEBUG_TRACE) += debugtrace.o obj-$(CONFIG_HAS_DEVICE_TREE) += device.o obj-$(filter-out $(CONFIG_X86),$(CONFIG_ACPI)) += device.o -obj-$(CONFIG_HAS_DEVICE_TREE) += device-tree/ +obj-$(firstword $(CONFIG_HAS_DEVICE_TREE) $(CONFIG_DOM0LESS_BOOT)) += device-tree/ obj-$(CONFIG_IOREQ_SERVER) += dm.o obj-y += domain.o obj-y += event_2l.o diff --git a/xen/common/device-tree/Makefile b/xen/common/device-tree/Makefile index 922c5bba9b..4c09e3fb2d 100644 --- a/xen/common/device-tree/Makefile +++ b/xen/common/device-tree/Makefile @@ -1,10 +1,10 @@ obj-y += bootfdt.init.o -obj-y += bootinfo-fdt.init.o -obj-y += bootinfo.init.o -obj-y += device-tree.o +obj-$(CONFIG_HAS_DEVICE_TREE) += bootinfo-fdt.init.o +obj-$(CONFIG_HAS_DEVICE_TREE) += bootinfo.init.o +obj-$(CONFIG_HAS_DEVICE_TREE) += device-tree.o obj-$(CONFIG_DOMAIN_BUILD_HELPERS) += domain-build.init.o obj-$(CONFIG_DOM0LESS_BOOT) += dom0less-build.init.o obj-$(CONFIG_OVERLAY_DTB) += dt-overlay.o -obj-y += intc.o +obj-$(CONFIG_HAS_DEVICE_TREE) += intc.o obj-$(CONFIG_DOMAIN_BUILD_HELPERS) += kernel.o obj-$(CONFIG_STATIC_EVTCHN) += static-evtchn.init.o -- 2.43.0
|
![]() |
Lists.xenproject.org is hosted with RackSpace, monitoring our |