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/
32
33# for cleaning
34subdir- += boot tools
35