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 if (argc < 2) {
11 fprintf(2, "usage: kill pid...\n");
12 exit(1);
13 }
14 for (i = 1; i < argc; i++)
15 kill(atoi(argv[i]));
16 exit(0);
17 }