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>
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) {