1 files changed, 20 insertions, 0 deletions
diff --git a/static/plan9-4e/man8/reboot.8 b/static/plan9-4e/man8/reboot.8
new file mode 100644
index 00000000..0dd8f4d5
--- /dev/null
+++ b/static/plan9-4e/man8/reboot.8
@@ -0,0 +1,20 @@
+.TH REBOOT 8
+.SH NAME
+reboot \- reboot the system upon loss of remote file server connection
+.SH SYNOPSIS
+.B aux/reboot
+[
+.I file
+]
+.SH DESCRIPTION
+.I Reboot
+stats
+.IR file ,
+default
+.BR /$\fIcputype\fP/init ,
+once a minute.  If the stat times out,
+.I reboot
+reboots the system.  This is used to restart diskless cpu
+servers whenever their file server connection is broken.
+.SH SOURCE
+.B /sys/src/cmd/aux/reboot.c