REBOOT(8)
NAME
reboot − reboot the system upon loss of remote file server connection
SYNOPSIS
aux/reboot [ file ]
DESCRIPTION
Reboot stats file, default /$cputype/init, once a minute. If the stat times out, reboot reboots the system. This is used to restart diskless cpu servers whenever their file server connection is broken.
SOURCE
/sys/src/cmd/aux/reboot.c
Plan 9 — September 20, 2000