Index: kernel/generic/include/adt/list.h
===================================================================
--- kernel/generic/include/adt/list.h	(revision 83dab11c929c1a48613d4dc70ed8ca9113463484)
+++ kernel/generic/include/adt/list.h	(revision deacc58d86dbbc4e37a7d1534bd9933e671162e1)
@@ -37,5 +37,5 @@
 #define KERN_LIST_H_
 
-#include <debug.h>
+#include <assert.h>
 #include <stdbool.h>
 #include <stddef.h>
@@ -120,5 +120,5 @@
 	
 #define assert_link_not_used(link) \
-	ASSERT(!link_used(link))
+	assert(!link_used(link))
 
 /** Initialize doubly-linked circular list link
@@ -390,5 +390,5 @@
 		return false;
 
-	ASSERT(link->prev != NULL && link->next != NULL);
+	assert(link->prev != NULL && link->next != NULL);
 	return true;
 }