--- a/kernel/build.xml	Fri May 16 13:05:10 2014 +0200
+++ b/kernel/build.xml	Sat May 17 21:17:40 2014 +0200
@@ -4,18 +4,32 @@
     <property name="src" value="src" />
     <property name="arch" value="arm" />
 
+
     <target name="vexpress">
-        <assemble source="arch/qemu_vexpress/start.asm" target="arm" output="start.o" />
-        <compile target="arm" sources='arch/qemu_vexpress/vexpressA9.c3' includes="${src}/*.c3" output="vexp.o" />
-        <compile target="arm" sources='${src}/*.c3' output="henkie.o" />
+        <build file="../user/build.xml" />
+
+        <assemble source="arch/qemu_vexpress/start.asm"
+            target="arm" output="start.o" />
+
+        <compile target="arm"
+            sources='arch/qemu_vexpress/vexpressA9.c3'
+            includes="${src}/*.c3" output="vexp.o" />
+
+        <compile target="arm" sources='${src}/*.c3'
+            output="henkie.o" />
+
+        <!-- <script file="gen_table.py" /> -->
+
         <link output="kernel.o"
             target="arm"
             layout="arch/qemu_vexpress/layout.mmap"
             objects="henkie.o;vexp.o;start.o" />
+
         <objcopy
             objectfile="kernel.o"
             imagename="image"
             output="kernel_arm.bin" />
+
     </target>
 
 </project>