1# SPDX-License-Identifier: GPL-2.0 2obj-$(CONFIG_ARCH_HAS_CC_PLATFORM) += coco/ 3 4obj-y += entry/ 5 6obj-$(CONFIG_PERF_EVENTS) += events/ 7 8obj-$(CONFIG_KVM) += kvm/ 9 10# Xen paravirtualization support 11obj-$(CONFIG_XEN) += xen/ 12 13obj-$(CONFIG_PVH) += platform/pvh/ 14 15# Hyper-V paravirtualization support 16obj-$(subst m,y,$(CONFIG_HYPERV)) += hyperv/ 17 18obj-y += realmode/ 19obj-y += kernel/ 20obj-y += mm/ 21 22obj-y += crypto/ 23 24obj-$(CONFIG_IA32_EMULATION) += ia32/ 25 26obj-y += platform/ 27obj-y += net/ 28 29obj-$(CONFIG_KEXEC_FILE) += purgatory/ 30 31obj-y += virt/svm/ 32 33# for cleaning 34subdir- += boot tools 35