1 files changed, 10 insertions, 0 deletions
diff --git a/usr/kill.c b/usr/kill.c
new file mode 100644
index 0000000..e524627
--- /dev/null
+++ b/usr/kill.c
@@ -0,0 +1,10 @@
+#include "gbos.h"
+/* kill <pid>: terminate a process (pid 1 is immortal). */
+void main(void) {
+    char *argv[4];
+    unsigned char argc = argv_parse(argv, 4);
+    unsigned char pid;
+    if (argc < 1) { puts("usage: kill <pid>"); nl(); return; }
+    pid = atou(argv[0]);
+    if (kill(pid)) { puts("kill: no such pid (or immortal)"); nl(); }
+}