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-y += boot/startup/ 7 8obj-$(CONFIG_ARCH_HAS_CC_PLATFORM) += coco/ 9 10obj-y += entry/ 11 12obj-$(CONFIG_PERF_EVENTS) += events/ 13 14obj-$(CONFIG_KVM) += kvm/ 15 16# Xen paravirtualization support 17obj-$(CONFIG_XEN) += xen/ 18 19obj-$(CONFIG_PVH) += platform/pvh/ 20 21# Hyper-V paravirtualization support 22obj-$(subst m,y,$(CONFIG_HYPERV)) += hyperv/ 23 24obj-y += realmode/ 25obj-y += kernel/ 26obj-y += mm/ 27 28obj-y += crypto/ 29 30obj-$(CONFIG_IA32_EMULATION) += ia32/ 31 32obj-y += platform/ 33obj-y += net/ 34 35obj-$(CONFIG_KEXEC_FILE) += purgatory/ 36 37obj-y += virt/ 38 39# for cleaning 40subdir- += boot tools 41