Index: kernel/generic/src/main/main.c
===================================================================
--- kernel/generic/src/main/main.c	(revision f35749ea567f56991e775945db2ae2ded40751e6)
+++ kernel/generic/src/main/main.c	(revision a188131444517e83d92103dac71acb5f03aae769)
@@ -53,5 +53,4 @@
 #include <stdio.h>
 #include <panic.h>
-#include <assert.h>
 #include <config.h>
 #include <time/clock.h>