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

File:

• kernel/generic/include/config.h (modified) (2 diffs)

kernel/generic/include/config.h

@@ -36 +36 @@
 #define KERN_CONFIG_H_
 
-#include <arch/types.h>
+#include <typedefs.h>
 #include <arch/mm/page.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;