Index: kernel/generic/src/main/main.c
===================================================================
--- kernel/generic/src/main/main.c	(revision 7a98cef11fb8f3d08a03c92aae4d500d0a75a5d0)
+++ kernel/generic/src/main/main.c	(revision 0e183dd9fab1317745c3e4240ae7febea5010586)
@@ -166,8 +166,4 @@
 	config.stack_base = config.base + config.kernel_size;
 	
-	printf("base = 0x%08x\n", config.base);
-	printf("kernel_size = 0x%08x\n", config.kernel_size);
-	printf("stack_base = 0x%08x\n", config.stack_base);
-
 	/* Avoid placing stack on top of init */
 	size_t i;