Changes in kernel/generic/src/main/main.c [b6b02c0:9e40355e] in mainline

File:

• kernel/generic/src/main/main.c (modified) (1 diff)

kernel/generic/src/main/main.c

@@ -166 +166 @@
         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;