1 #include "kernel/types.h" 2 #include "kernel/stat.h" 3 #include "user/user.h" 4 5 int 6 main(int argc, char *argv[]) 7 { 8 int i; 9 10 for(i = 1; i < argc; i++){ 11 write(1, argv[i], strlen(argv[i])); 12 if(i + 1 < argc){ 13 write(1, " ", 1); 14 } else { 15 write(1, "\n", 1); 16 } 17 } 18 exit(0); 19 }