Changes in kernel/generic/src/main/main.c [9e40355e:b6b02c0] 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;