summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorOri Bernstein <ori@eigenstate.org>2022-11-05 00:38:09 +0000
committerOri Bernstein <ori@eigenstate.org>2022-11-05 00:38:09 +0000
commit4e75dd52d6dc4601e1f9912779c85f760e8d71e1 (patch)
tree6f86e305d14988aff6a15c0f26e600b53660f0ca
parenta013f992b593ae55453f52de3a9d0f41e0bc4b4f (diff)
plan9.ini(8): document the *debug option
-rw-r--r--sys/man/8/plan9.ini3
1 files changed, 3 insertions, 0 deletions
diff --git a/sys/man/8/plan9.ini b/sys/man/8/plan9.ini
index 8d9ad93a5..414d2b2d8 100644
--- a/sys/man/8/plan9.ini
+++ b/sys/man/8/plan9.ini
@@ -746,6 +746,9 @@ are
.B cpu
and
.B terminal.
+.SS \fL*debug=\fP
+Prevents cpu servers from rebooting on kernel panic, to enable
+inspection of panic messages.
.SS \fLdebugfactotum=\fP
Causes
.IR boot (8)