0001 # SPDX-License-Identifier: GPL-2.0
0002 obj-$(CONFIG_ARCH_HAS_CC_PLATFORM) += coco/
0003
0004 obj-y += entry/
0005
0006 obj-$(CONFIG_PERF_EVENTS) += events/
0007
0008 obj-$(CONFIG_KVM) += kvm/
0009
0010 # Xen paravirtualization support
0011 obj-$(CONFIG_XEN) += xen/
0012
0013 obj-$(CONFIG_PVH) += platform/pvh/
0014
0015 # Hyper-V paravirtualization support
0016 obj-$(subst m,y,$(CONFIG_HYPERV)) += hyperv/
0017
0018 obj-y += realmode/
0019 obj-y += kernel/
0020 obj-y += mm/
0021
0022 obj-y += crypto/
0023
0024 obj-$(CONFIG_IA32_EMULATION) += ia32/
0025
0026 obj-y += platform/
0027 obj-y += net/
0028
0029 obj-$(CONFIG_KEXEC_FILE) += purgatory/
0030
0031 # for cleaning
0032 subdir- += boot tools
