Index: generic/src/console/cmd.c
===================================================================
--- generic/src/console/cmd.c	(revision 55ab0f1b4eb5fe0181079aea11a8851e2a23d7e5)
+++ generic/src/console/cmd.c	(revision c7ec94a41807d5fd556f2d26b42c6b816b3da7c8)
@@ -40,5 +40,5 @@
 #include <typedefs.h>
 #include <arch/types.h>
-#include <list.h>
+#include <adt/list.h>
 #include <arch.h>
 #include <func.h>
Index: generic/src/console/kconsole.c
===================================================================
--- generic/src/console/kconsole.c	(revision 55ab0f1b4eb5fe0181079aea11a8851e2a23d7e5)
+++ generic/src/console/kconsole.c	(revision c7ec94a41807d5fd556f2d26b42c6b816b3da7c8)
@@ -35,5 +35,5 @@
 #include <typedefs.h>
 #include <arch/types.h>
-#include <list.h>
+#include <adt/list.h>
 #include <arch.h>
 #include <macros.h>