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

File:

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

kernel/generic/include/config.h

@@ -36 +36 @@
 #define KERN_CONFIG_H_
 
-#include <typedefs.h>
+#include <arch/types.h>
 #include <arch/mm/page.h>
 
@@ -66 +66 @@
 
 typedef struct {
-        unsigned int cpu_count;      /**< Number of processors detected. */
+        size_t cpu_count;            /**< Number of processors detected. */
         volatile size_t cpu_active;  /**< Number of processors that are up and running. */
         
         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;