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 }