obj-y += callback.o
obj-y += domain.o
obj-y += emulate.o
obj-y += emul-gate-op.o
obj-y += emul-inv-op.o
obj-y += emul-priv-op.o
obj-y += hypercall.o
obj-y += iret.o
obj-y += misc-hypercalls.o
obj-y += traps.o

obj-bin-y += dom0_build.init.o
obj-bin-y += gpr_switch.o
