build: Better Build System

1 files changed, 72 insertions, 0 deletions

diff --git a/static/inferno/man1/kill.1 b/static/inferno/man1/kill.1
new file mode 100644
index 00000000..992a773f
--- /dev/null
+++ b/static/inferno/man1/kill.1
@@ -0,0 +1,72 @@
+.TH KILL 1
+.SH NAME
+kill, broke \- terminate process(es)
+.SH SYNOPSIS
+.B kill
+[
+.B -g
+]
+[
+.I pid ...
+]
+[
+.I module ...
+]
+.PP
+.B broke
+[
+.I user
+]
+.SH DESCRIPTION
+.I Kill
+terminates each process (for a numeric
+process ID
+.IR pid )
+or
+process running a given
+.I module
+(for a non-numeric module name),
+by writing a
+.L kill
+message to the corresponding process's control file
+in
+.IR prog (3).
+The
+.B -g
+option causes
+.I kill
+to write a
+.L killgrp
+message instead, killing all processes in the given process's process group
+(see
+.IR sys-pctl (2)).
+Processes running a
+.I module
+are identified by their
+.L status
+file, and the process ID of each such process is printed on standard output.
+.PP
+A process that incurs an exception (eg, array bounds check)
+is normally suspended in the `broken' state to allow debugging.
+.I Broke
+finds all such processes owned by
+.I user
+(default: the current user), and
+prints
+.IR sh (1)
+commands to kill them.
+The commands can be piped to the shell or selectively run,
+releasing back to the system any resources owned by those processes.
+.SH FILES
+.TF "/prog/pid/status  "
+.TP
+.BI /prog/ pid /ctl
+.TP
+.BI /prog/ pid /status
+.SH SOURCE
+.B /appl/cmd/kill.b
+.br
+.B /dis/broke
+.SH "SEE ALSO"
+.IR ps (1),
+.IR prog (3)