Changes in kernel/generic/src/main/main.c [d28bdbe:deed510] in mainline

File:

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

kernel/generic/src/main/main.c

@@ -193 +193 @@
         version_print();
 
-        LOG("\nconfig.base=%p config.kernel_size=%zu",
-            (void *) config.base, config.kernel_size);
+        LOG("\nconfig.base=%p config.kernel_size=%zu"
+            "\nconfig.stack_base=%p config.stack_size=%zu",
+            (void *) config.base, config.kernel_size,
+            (void *) config.stack_base, config.stack_size);
 
 #ifdef CONFIG_KCONSOLE