From owner-freebsd-questions Thu Mar 9 9:46:29 2000 Delivered-To: freebsd-questions@freebsd.org Received: from bingnet2.cc.binghamton.edu (bingnet2.cc.binghamton.edu [128.226.1.18]) by hub.freebsd.org (Postfix) with ESMTP id A5F9B37B681 for ; Thu, 9 Mar 2000 09:46:26 -0800 (PST) (envelope-from zzhang@cs.binghamton.edu) Received: from sol.cs.binghamton.edu (sol.cs.binghamton.edu [128.226.123.100]) by bingnet2.cc.binghamton.edu (8.9.3/8.9.3) with SMTP id MAA10358; Thu, 9 Mar 2000 12:46:14 -0500 (EST) Date: Thu, 9 Mar 2000 10:21:44 -0500 (EST) From: Zhihui Zhang To: fernando@cursosvirtuales.com.ar Cc: freebsd-questions@FreeBSD.ORG Subject: Re: Debugging kernel In-Reply-To: <200003091716.OAA12185@servidor1.cursosvirtuales.com.ar> Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: owner-freebsd-questions@FreeBSD.ORG Precedence: bulk X-Loop: FreeBSD.ORG On Thu, 9 Mar 2000, Fernando P. Schapachnik wrote: > > > Hello: > > > A machine of mine is panicing very frequently. I wan't to get a > > > kernel dump in order to debug the problem/submit a PR. > > > > > > The problem is my / partition isn't big enough to hold the 11 Mb > > > debug kernel. The FAQ states that config -g should produce two kernels > > > (one with debbuging symbols and another without). But this doesn't > > > happen. Can I compile one without symbols and debug using the other. > > > > > > > I made the / larger than default to put the debug kernel. You can compile > > a debug kernel on the debugging machine and then ftp the kernel to the > > target machine. If the / on the target machine is not large enough, you > > can let the debug kernel overwrite the existing kernel with command > > install. Then you can use remote debugging. > > The debug kernel is 11 Mb, a normal one is 2 Mb. My complete / only has > 4 Mb spare, which makes 6 if I replace the normal one. > I am not sure whether the boot loader can recognize a kernel stored in another filesystem, say under /usr. If so, you can put it under a place other than / and boot from there. -Zhihui To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe freebsd-questions" in the body of the message