Index: kernel/generic/src/main/kinit.c
===================================================================
--- kernel/generic/src/main/kinit.c	(revision 1023758e799d109dbcf6071b11193555ec834a61)
+++ kernel/generic/src/main/kinit.c	(revision af2254ece47fffd627e909e8547dca085773c990)
@@ -240,5 +240,5 @@
 			name = "<unknown>";
 		
-		ASSERT(TASK_NAME_BUFLEN >= INIT_PREFIX_LEN);
+		STATIC_ASSERT(TASK_NAME_BUFLEN >= INIT_PREFIX_LEN);
 		str_cpy(namebuf, TASK_NAME_BUFLEN, INIT_PREFIX);
 		str_cpy(namebuf + INIT_PREFIX_LEN,