From mboxrd@z Thu Jan  1 00:00:00 1970
Date: Thu,  8 Feb 1996 06:13:34 -0500
From: Hans-Peter Bischof bischof@informatik.Uni-Osnabrueck.DE
Subject: Kernel Debugging
Topicbox-Message-UUID: 3b254732-eac8-11e9-9e20-41e7f4b1d025
Message-ID: <19960208111334.OA427o3mrb9BBCy0wh9OMNNKLa07O5bOYSod3vOT6y8@z>


Hallo,

I am searching for a
  - a tool or technologie to debug a kernel
  - or a paper on this topic.

Any help would be greatly appreciated.

-Hans-Peter Bischof
 bischof@informatik.uni-osnabrueck.de