Index: kernel/generic/src/main/main.c
===================================================================
--- kernel/generic/src/main/main.c	(revision 797d4d193fb13a383f79845727e8ac92d9d83ae6)
+++ kernel/generic/src/main/main.c	(revision b6b02c0fa1670aace09bf1d3f51ce99017e6230e)
@@ -166,4 +166,8 @@
 	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;