Index: kernel/generic/src/main/main.c
===================================================================
--- kernel/generic/src/main/main.c	(revision 550523f5970533355f64d259e09ffd28f0133593)
+++ kernel/generic/src/main/main.c	(revision 41b735f3b799f5218287fcd1b22dcc821c600aa2)
@@ -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;