Changes in kernel/arch/ia64/src/ia64.c [c0699467:2f23341] in mainline

File:

• kernel/arch/ia64/src/ia64.c (modified) (2 diffs)

kernel/arch/ia64/src/ia64.c

@@ -50 +50 @@
 #include <userspace.h>
 #include <console/console.h>
-#include <abi/proc/uarg.h>
+#include <proc/uarg.h>
 #include <syscall/syscall.h>
 #include <ddi/irq.h>
@@ -151 +151 @@
         /* Set platform name. */
 #ifdef MACHINE_ski
-        platform = "ski";
+        platform = "pc";
 #endif
 #ifdef MACHINE_i460GX