hake: adding missing include path to the k1om kernel

The include path 'include/arch/x86_64' was missing in the
kernel optIncludes for K1om.

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

diff --git a/hake/K1om.hs b/hake/K1om.hs
index bbe2991..abb5a31 100644 (file)
--- a/hake/K1om.hs
+++ b/hake/K1om.hs
@@ -84,7 +84,9 @@ ourLdFlags = [ Str "-Wl,-z,max-page-size=0x1000",
 ldFlags = ArchDefaults.ldFlags arch ++ ourLdFlags
 ldCxxFlags = ArchDefaults.ldCxxFlags arch ++ ourLdFlags
 
-kernelOptIncludes = [NoDep SrcTree "src" ("/include/target/x86_64"), 
+-- adding x86_64 includes to the K1OM architecture
+kernelOptIncludes = [NoDep SrcTree "src" ("/kernel/include/arch/x86_64"),
+                     NoDep SrcTree "src" ("/include/target/x86_64"), 
                      NoDep SrcTree "src" ("/include/arch/x86_64")] 
 
 options = (ArchDefaults.options arch archFamily) {