Changes in kernel/generic/src/console/cmd.c [d99c1d2:a000878c] in mainline

File:

• kernel/generic/src/console/cmd.c (modified) (1 diff)

kernel/generic/src/console/cmd.c

@@ -46 +46 @@
 #include <print.h>
 #include <panic.h>
-#include <typedefs.h>
+#include <arch/types.h>
 #include <adt/list.h>
 #include <arch.h>
 #include <config.h>
 #include <func.h>
-#include <str.h>
+#include <string.h>
 #include <macros.h>
 #include <debug.h>