Changes in kernel/generic/include/config.h [e2a0d76:85147f3] in mainline

File:

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

kernel/generic/include/config.h

@@ -37 +37 @@
 
 #include <arch/mm/page.h>
+#include <macros.h>
 
-#define ONE_FRAME    0
-#define TWO_FRAMES   1
-#define FOUR_FRAMES  2
-
-#define STACK_FRAMES  TWO_FRAMES
-#define STACK_SIZE    ((1 << STACK_FRAMES) << PAGE_WIDTH)
+#define STACK_FRAMES  2
+#define STACK_SIZE    FRAMES2SIZE(STACK_FRAMES)
 
 #define STACK_SIZE_USER  (1 * 1024 * 1024)
@@ -97 +94 @@
         /** Size of initial stack. */
         size_t stack_size;
-
+        
         bool identity_configured;
         /** Base address of the kernel identity mapped memory. */
@@ -103 +100 @@
         /** Size of the kernel identity mapped memory. */
         size_t identity_size;
-
-        bool non_identity_configured;   
-
+        
+        bool non_identity_configured;
+        
         /** End of physical memory. */
         uint64_t physmem_end;