Changes in kernel/generic/include/config.h [34ae0a5:3b3faf51] in mainline

File:

• kernel/generic/include/config.h (modified) (4 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  2
+#define STACK_SIZE    FRAMES2SIZE(STACK_FRAMES)
 
-#define STACK_FRAMES  TWO_FRAMES
-#define STACK_SIZE    ((1 << STACK_FRAMES) << PAGE_WIDTH)
+#define STACK_SIZE_USER  (1 * 1024 * 1024)
 
-#define STACK_SIZE_USER (1 * 1024 * 1024)
+#define CONFIG_BOOT_ARGUMENTS_BUFLEN 256
 
 #define CONFIG_INIT_TASKS        32
 #define CONFIG_TASK_NAME_BUFLEN  32
 #define CONFIG_TASK_ARGUMENTS_BUFLEN 64
-
-/**
- * Maximum buffer size allowed for IPC_M_DATA_WRITE and IPC_M_DATA_READ
- * requests.
- */
-#define DATA_XFER_LIMIT  (64 * 1024)
 
 #ifndef __ASM__
@@ -97 +90 @@
         /** Size of initial stack. */
         size_t stack_size;
-
+        
         bool identity_configured;
         /** Base address of the kernel identity mapped memory. */
@@ -103 +96 @@
         /** 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;
@@ -111 +104 @@
 
 extern config_t config;
+extern char bargs[];
 extern init_t init;
 extern ballocs_t ballocs;