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