Changes in kernel/generic/include/config.h [65f3117:174156fd] in mainline

File:

• kernel/generic/include/config.h (modified) (1 diff)

kernel/generic/include/config.h

@@ -87 +87 @@
         size_t kernel_size;
 
+        /** Base adddress of initial stack. */
+        uintptr_t stack_base;
+        /** Size of initial stack. */
+        size_t stack_size;
+
         bool identity_configured;
         /** Base address of the kernel identity mapped memory. */