Changes in kernel/generic/include/config.h [174156fd:65f3117] 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. */