Index: kernel/generic/src/console/console.c
===================================================================
--- kernel/generic/src/console/console.c	(revision 563d60779e41f00b06eaf6e53cef585c76836239)
+++ kernel/generic/src/console/console.c	(revision 1e2e0c1eeb07d0d3faf4a5b53314c73e3b0c1a2a)
@@ -45,4 +45,5 @@
 #include <ipc/irq.h>
 #include <arch.h>
+#include <panic.h>
 #include <print.h>
 #include <putchar.h>