jdp b71520dd66 Add a "-d" option which causes the system to generate a crash dump.		1999-11-21 21:52:40 +00:00
..
boot_i386.8	Sync with reallity (USERCONFIG_BOOT option was removed long time ago)	1999-10-15 12:50:18 +00:00
Makefile	Removed the boot_*(8) man pages for machines we don't support:	1996-02-12 04:29:10 +00:00
reboot.8	Add a "-d" option which causes the system to generate a crash dump.	1999-11-21 21:52:40 +00:00
reboot.c	Add a "-d" option which causes the system to generate a crash dump.	1999-11-21 21:52:40 +00:00