Changes in kernel/generic/src/console/console.c [d99c1d2:9c70ed6] in mainline

File:

• kernel/generic/src/console/console.c (modified) (3 diffs)

kernel/generic/src/console/console.c

@@ -39 +39 @@
 #include <synch/waitq.h>
 #include <synch/spinlock.h>
-#include <typedefs.h>
+#include <arch/types.h>
 #include <ddi/irq.h>
 #include <ddi/ddi.h>
@@ -45 +45 @@
 #include <ipc/irq.h>
 #include <arch.h>
-#include <panic.h>
 #include <print.h>
 #include <putchar.h>
@@ -51 +50 @@
 #include <syscall/copy.h>
 #include <errno.h>
-#include <str.h>
+#include <string.h>
 
 #define KLOG_PAGES    4