1obj-y += bootfdt.init.o 2obj-$(CONFIG_HAS_DEVICE_TREE_DISCOVERY) += bootinfo-fdt.init.o 3obj-$(CONFIG_HAS_DEVICE_TREE_DISCOVERY) += bootinfo.init.o 4obj-y += device-tree.o 5obj-$(CONFIG_DOMAIN_BUILD_HELPERS) += domain-build.init.o 6obj-$(filter $(CONFIG_DOM0LESS_BOOT),$(CONFIG_HAS_DEVICE_TREE_DISCOVERY)) += dom0less-build.init.o 7obj-$(CONFIG_DOM0LESS_BOOT) += dom0less-bindings.init.o 8obj-$(CONFIG_OVERLAY_DTB) += dt-overlay.o 9obj-$(CONFIG_HAS_DEVICE_TREE_DISCOVERY) += intc.o 10obj-$(CONFIG_DOMAIN_BUILD_HELPERS) += kernel.o 11obj-$(CONFIG_STATIC_EVTCHN) += static-evtchn.init.o 12obj-$(CONFIG_STATIC_MEMORY) += static-memory.init.o 13obj-$(CONFIG_STATIC_SHM) += static-shmem.init.o 14