Added: new boot.S, serial out for Xeon Phi
[barrelfish] / kernel / include / arch / k1om / offsets.h
index 2f76d62..a5f8af7 100644 (file)
@@ -15,7 +15,7 @@
 #ifndef OFFSETS_ARCH_H
 #define OFFSETS_ARCH_H
 
-#include <target/x86_64/offsets_target.h>
+#include <target/k1om/offsets_target.h>
 
 #define PADDR_SPACE_SIZE          X86_64_PADDR_SPACE_SIZE
 #define PADDR_SPACE_LIMIT         X86_64_PADDR_SPACE_LIMIT