Index: kernel/generic/include/config.h
===================================================================
--- kernel/generic/include/config.h	(revision b30846eada6adb6189b8e88babbad2ee3238fa26)
+++ kernel/generic/include/config.h	(revision 61b208f646f3876ff110768890465a8c7d194886)
@@ -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;
Index: kernel/generic/src/main/main.c
===================================================================
--- kernel/generic/src/main/main.c	(revision b30846eada6adb6189b8e88babbad2ee3238fa26)
+++ kernel/generic/src/main/main.c	(revision 61b208f646f3876ff110768890465a8c7d194886)
@@ -117,4 +117,7 @@
 };
 
+/** Boot arguments. */
+char bargs[CONFIG_BOOT_ARGUMENTS_BUFLEN] = {};
+
 /** Initial user-space tasks */
 init_t init = {
@@ -276,5 +279,7 @@
 	thread_init();
 	futex_init();
-	
+
+	sysinfo_set_item_data("boot_args", NULL, bargs, str_size(bargs) + 1);
+
 	if (init.cnt > 0) {
 		size_t i;