1 # SPDX-License-Identifier: GPL-2.0
4 obj-$(CONFIG_PERF_EVENTS) += events/
6 obj-$(CONFIG_KVM) += kvm/
8 # Xen paravirtualization support
9 obj-$(CONFIG_XEN) += xen/
11 obj-$(CONFIG_PVH) += platform/pvh/
13 # Hyper-V paravirtualization support
14 obj-$(subst m,y,$(CONFIG_HYPERV)) += hyperv/
22 obj-$(CONFIG_IA32_EMULATION) += ia32/
27 obj-$(CONFIG_KEXEC_FILE) += purgatory/