Index: generic/include/proc/scheduler.h
===================================================================
--- generic/include/proc/scheduler.h	(revision 266294a9258f81b86dd330ce9d8a831828decba0)
+++ generic/include/proc/scheduler.h	(revision 3d2d2fc2f1ea9da10c3b97db5c8db26818ba82cb)
@@ -34,5 +34,5 @@
 #include <typedefs.h>
 #include <arch/atomic.h>
-#include <list.h>
+#include <adt/list.h>
 
 #define RQ_COUNT 		16
Index: generic/include/proc/task.h
===================================================================
--- generic/include/proc/task.h	(revision 266294a9258f81b86dd330ce9d8a831828decba0)
+++ generic/include/proc/task.h	(revision 3d2d2fc2f1ea9da10c3b97db5c8db26818ba82cb)
@@ -32,5 +32,5 @@
 #include <typedefs.h>
 #include <synch/spinlock.h>
-#include <list.h>
+#include <adt/list.h>
 
 /** Task structure. */
Index: generic/include/proc/thread.h
===================================================================
--- generic/include/proc/thread.h	(revision 266294a9258f81b86dd330ce9d8a831828decba0)
+++ generic/include/proc/thread.h	(revision 3d2d2fc2f1ea9da10c3b97db5c8db26818ba82cb)
@@ -39,5 +39,5 @@
 #include <synch/rwlock.h>
 #include <config.h>
-#include <list.h>
+#include <adt/list.h>
 
 #define THREAD_STACK_SIZE	STACK_SIZE