user/echo.c

1#include "kernel/types.h"2#include "kernel/stat.h"3#include "user/user.h"45int6main(int argc, char *argv[])7{8  int i;910  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}20