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