Index: kernel/generic/include/config.h
===================================================================
--- kernel/generic/include/config.h	(revision ae665645563afe74e38e94b59a14e25cf0dd0afe)
+++ kernel/generic/include/config.h	(revision 3b3faf51c96846a63b04645ed7c2d9d3d6568db0)
@@ -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;