Index: kernel/generic/include/debug.h
===================================================================
--- kernel/generic/include/debug.h	(revision 7ddc2c7a97bf75277145753f192b8a5f0365792d)
+++ kernel/generic/include/debug.h	(revision 53c8d12b7aeb262a2ee3fa75123776f8514862d5)
@@ -37,4 +37,5 @@
 
 #include <panic.h>
+#include <log.h>
 #include <symtab_lookup.h>