1 files changed, 17 insertions, 0 deletions
diff --git a/user/kill.c b/user/kill.c
new file mode 100644
index 0000000..4b19d3c
--- /dev/null
+++ b/user/kill.c
@@ -0,0 +1,17 @@
+#include "kernel/types.h"
+#include "kernel/stat.h"
+#include "user/user.h"
+
+int
+main(int argc, char **argv)
+{
+  int i;
+
+  if(argc < 2){
+    printf(2, "usage: kill pid...\n");
+    exit();
+  }
+  for(i=1; i<argc; i++)
+    kill(atoi(argv[i]));
+  exit();
+}