obj-y += domain_page.o
obj-y += entry.o
obj-y += gpr_switch.o
obj-y += mm.o
obj-y += seg_fixup.o
obj-y += traps.o
obj-y += machine_kexec.o
obj-y += pci.o

obj-$(crash_debug) += gdbstub.o

obj-$(supervisor_mode_kernel) += supervisor_mode_kernel.o
