From 948d6fa62c05d7be9f656506cd82d28bdc3fda14 Mon Sep 17 00:00:00 2001 From: "David E. O'Brien" Date: Fri, 29 May 1998 22:00:49 +0000 Subject: [PATCH] Mention the use of ``dempdev'' in /etc/rc.conf --- handbook/kerneldebug.sgml | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/handbook/kerneldebug.sgml b/handbook/kerneldebug.sgml index 4e73f40d82..881a15d79d 100644 --- a/handbook/kerneldebug.sgml +++ b/handbook/kerneldebug.sgml @@ -1,4 +1,4 @@ - + Kernel Debugging @@ -14,6 +14,9 @@ you can configure your kernel to use an alternate dump device (in the config kernel line), or you can specify an alternate using the dumpon(8) command. + The best way to use dumpon(8) is to set the dumpdev + variable in /etc/rc.conf. Typically you want to specify + one of the swap devices specified in /etc/fstab. Dumps to non-swap devices, tapes for example, are currently not supported. Config your kernel using config -g.