From e3eb7e68bc175f1db7ebcea51c8fc3c6d2edfb48 Mon Sep 17 00:00:00 2001
From: Tomoki Shirasawa <sira@popeye.cc.u-tokyo.ac.jp>
Date: Fri, 26 Dec 2014 16:05:23 +0900
Subject: [PATCH] Fix need to modify ihk/cokernel/Makefile when a file has been
 added under mckernel/arch (Bug#365)

---
 arch/x86/kernel/Makefile.arch | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100644 arch/x86/kernel/Makefile.arch

diff --git a/arch/x86/kernel/Makefile.arch b/arch/x86/kernel/Makefile.arch
new file mode 100644
index 00000000..cb366fbb
--- /dev/null
+++ b/arch/x86/kernel/Makefile.arch
@@ -0,0 +1,2 @@
+IHK_OBJS += cpu.o interrupt.o memory.o trampoline.o local.o context.o
+IHK_OBJS += perfctr.o syscall.o vsyscall.o