mckernel/arch/x86_64/kernel/Makefile.arch.in

IHK_OBJS += cpu.o interrupt.o memory.o trampoline.o local.o context.o
IHK_OBJS += perfctr.o syscall.o vsyscall.o coredump.o