Index: kernel/generic/include/config.h
===================================================================
--- kernel/generic/include/config.h	(revision ae665645563afe74e38e94b59a14e25cf0dd0afe)
+++ kernel/generic/include/config.h	(revision 1a2befb3dfd31aeaf0de66a2e9997368bab85553)
@@ -43,4 +43,6 @@
 
 #define STACK_SIZE_USER  (1 * 1024 * 1024)
+
+#define CONFIG_BOOT_ARGUMENTS_BUFLEN 256
 
 #define CONFIG_INIT_TASKS        32
@@ -102,4 +104,5 @@
 
 extern config_t config;
+extern char bargs[];
 extern init_t init;
 extern ballocs_t ballocs;