*BSD News Article 27443


Return to BSD News archive

Xref: sserve comp.os.386bsd.development:1808 comp.os.386bsd.misc:1957
Newsgroups: comp.os.386bsd.development,comp.os.386bsd.misc
Path: sserve!newshost.anu.edu.au!munnari.oz.au!news.Hawaii.Edu!ames!agate!howland.reston.ans.net!cs.utexas.edu!uunet!hearst.acc.Virginia.EDU!murdoch!uvacs.cs.Virginia.EDU!jl2q
From: jl2q@uvacs.cs.Virginia.EDU (Juhnyoung Lee)
Subject: Information Request: kernel debugging
Message-ID: <CL9x01.GC3@murdoch.acc.Virginia.EDU>
Followup-To: Juhnyoung Lee
Keywords: POSIX, kernel, debugging
Sender: usenet@murdoch.acc.Virginia.EDU
Organization: University of Virginia Computer Science Department
Date: Tue, 15 Feb 1994 16:12:01 GMT
Lines: 21


Hi, Netters!

I am currently developing a POSIX compliant OS on top of 
bare 386 machine. I need to debug the kernel code now..
The size of the code, the complexity of algorithm, ...scares me a bit.
Even worse, this debugging has no reliable OS support.
Is there any tool, methodology, (any paper, book, ...) that could help
us speed up debugging kernel code ?

Any suggestion would be appreciated.

Thanks in advance.

Juhnyoung Lee				phone 804-982-2296
					fax   804-982-2214
					internet jl2q@cs.virginia.edu