Join print args before syscall

doc/devices.md

@@ -55,7 +55,7 @@ Reading the real time clock (RTC):
 Changing the system time:
 
 ```
-> print "2025-01-01 00:00:00" => /dev/clk/rtc
+> print 2025-01-01 00:00:00 => /dev/clk/rtc
 [580.327629] RTC 2025-01-01 00:00:00 +0000
 ```
 

doc/manual.md

@@ -270,7 +270,7 @@ You can print the date with `date`:
 You can update the real time clock by writing the correct time to its device
 file:
 
-    > print "2023-03-21 10:00:00" => /dev/clk/rtc
+    > print 2023-03-21 10:00:00 => /dev/clk/rtc
 
     > date
     2023-03-21 10:00:00 +0000

src/bin/print.rs

@@ -7,12 +7,6 @@ use moros::entry_point;
 entry_point!(main);
 
 fn main(args: &[&str]) {
-    let n = args.len();
-    for i in 1..n {
-        syscall::write(1, args[i].as_bytes());
-        if i < n - 1 {
-            syscall::write(1, b" ");
-        }
-    }
+    syscall::write(1, args[1..].join(" ").as_bytes());
     syscall::write(1, b"\n");
 }