Subject: Re: compilation for debug
To: None <david@pure.com>
From: der Mouse <mouse@Collatz.McRCIM.McGill.EDU>
List: tech-kern
Date: 10/06/1994 17:09:42 
> System: netbsd-current on i386.

> I tried turning on KGDB... big mistake.  [...]

> I just want some way to debug the kernel...

Isn't that what "options DDB" is for?

					der Mouse

			    mouse@collatz.mcrcim.mcgill.edu