Index: generic/src/cpu/cpu.c
===================================================================
--- generic/src/cpu/cpu.c	(revision 9b9e385b9726ff68e3cff0256d930903f39d0657)
+++ generic/src/cpu/cpu.c	(revision c7ec94a41807d5fd556f2d26b42c6b816b3da7c8)
@@ -38,5 +38,5 @@
 #include <typedefs.h>
 #include <memstr.h>
-#include <list.h>
+#include <adt/list.h>
 #include <print.h>