Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!mnetor!seismo!rochester!cornell!uw-beaver!uw-june!randy
From: randy@uw-june.UUCP (William Randy Day)
Newsgroups: comp.unix.wizards
Subject: Debugging the kernel: proper methods?
Message-ID: <2713@uw-june.UUCP>
Date: Sun, 21-Jun-87 01:10:19 EDT
Article-I.D.: uw-june.2713
Posted: Sun Jun 21 01:10:19 1987
Date-Received: Mon, 22-Jun-87 06:00:45 EDT
Organization: U of Washington, CSCI, Seattle
Lines: 11

Is there a proper method for debugging kernel routines? Suppose, for
instance, that I would like to watch the operation of the getf() routine
in the kernel. What's the best way to proceed? I suppose I could make
a kernel with printf's dumping what I want to see, but that
would be infeasible with a commonly used function like getf().

Thanks,
Randy Day.
Internet (ARPA): randy@dbnet.cs.washington.edu
CSNET: randy%washington@relay.cs.net
UUCP: {decvax|ihnp4}!uw-beaver!uw-june!randy