Index: src/proc/scheduler.c
===================================================================
--- src/proc/scheduler.c	(revision 9c926f39b8a11f838823c4f9c29d773f16ec79ce)
+++ src/proc/scheduler.c	(revision 6ba143dce31ac1490fdc2b36456012f4baadf10c)
@@ -38,4 +38,5 @@
 #include <arch/asm.h>
 #include <list.h>
+#include <panic.h>
 #include <typedefs.h>
 #include <mm/page.h>