1 files changed, 9 insertions, 1 deletions
diff --git a/kern/arg.c b/kern/arg.c
index 1278812..9c35651 100644
--- a/kern/arg.c
+++ b/kern/arg.c
@@ -64,7 +64,15 @@ arg_setup(const char *cmdline)
 void __init
 arg_info(void)
 {
-    printf("arg: %s\n", arg_cmdline);
+    char cmdline[sizeof(arg_cmdline)];
+    size_t i;
+
+    for (i = 0; &arg_cmdline[i] < arg_cmdline_end; i++) {
+        cmdline[i] = (arg_cmdline[i] == '\0') ? ' ' : arg_cmdline[i];
+    }
+
+    cmdline[i] = '\0';
+    printf("arg: %s\n", cmdline);
 }
 
 static const char * __init