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