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 }