Path: utzoo!utgpu!jarvis.csri.toronto.edu!cs.utexas.edu!asuvax!ncar!ico!ism780c!support
From: support@ism780c.isc.com (Support account)
Newsgroups: comp.unix.i386
Subject: Re: 386/ix on hp vectra rs20c
Summary: where is kernel debugger documentation
Keywords: hp vectra, virtual consoles, debugging
Message-ID: <39605@ism780c.isc.com>
Date: 6 Mar 90 17:10:10 GMT
References: <282@dprmpt.UUCP>
Reply-To: support@ism780c.UUCP (Support account)
Organization: Interactive Systems Corp., Santa Monica CA
Lines: 21

In article <282@dprmpt.UUCP> phil@dprmpt.UUCP (Philip Hall	) writes:
>another question: i have looked through the at&t manuals as well as the
>manuals that came with 386ix, and i can not find any references to using the
>kernel debugger. i know that if i install it, and then press 
>"alt-ctrl-d" i can get into the debugger. is there any documentation avaiable
>for using the debugger?

See debugger(8), the manual pages for the kernel debugger included
at the back of "The 386/ix Operating System Guide" among the other
Interactive Systems specific manual pages.










....