Changes in kernel/generic/include/config.h [d99c1d2:9a21f9d] in mainline

File:

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

kernel/generic/include/config.h

@@ -70 +70 @@
         
         uintptr_t base;
-        size_t kernel_size;           /**< Size of memory in bytes taken by kernel and stack */
+        size_t kernel_size;          /**< Size of memory in bytes taken by kernel and stack */
         
-        uintptr_t stack_base;         /**< Base adddress of initial stack */
-        size_t stack_size;            /**< Size of initial stack */
+        uintptr_t stack_base;        /**< Base adddress of initial stack */
+        size_t stack_size;           /**< Size of initial stack */
 } config_t;