diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1996-05-24 16:29:10 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1996-05-24 16:29:10 +0000 |
| commit | 3cec75ca6c6c7d0c3d07d4533653c285a819812b (patch) | |
| tree | a600d5e770f5bd31368f685808d598278332a0ce /devio | |
| parent | c50925c2f3a2c3600affcb0984fa5563d741c4b5 (diff) | |
(reboot_mach): Insert a brief pause before actually rebooting the
kernel so that the user has a chance to see any messages that may be
displayed.
Diffstat (limited to 'devio')
0 files changed, 0 insertions, 0 deletions