From mboxrd@z Thu Jan  1 00:00:00 1970
From: Christopher Nielsen <cnielsen@pobox.com>
To: 9fans@cse.psu.edu
Subject: Re: [9fans] kernel debug - how
Message-ID: <20030301034133.GY73079@cassie.foobarbaz.net>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
User-Agent: Mutt/1.5.3i
Date: Fri, 28 Feb 2003 19:41:34 -0800
Topicbox-Message-UUID: 7605c20c-eacb-11e9-9e20-41e7f4b1d025

> You can debug the kernel with acid -k but there
> is no way to write to kernel memory.
>
> However, you can set that variable by doing
>
> 	echo debug >/dev/fd0ctl
>
> (There is no way to change it back to zero
> after that, which is itself a bug.)

Here's a patch that adds a command to disable debugging
for the floppy driver.


121a122
> 	CMnodebug,
129a131
> 	CMnodebug, "nodebug", 1,
475a478,480
> 			break;
> 		case CMnodebug:
> 			floppydebug = 0;

--
Christopher Nielsen
"They who can give up essential liberty for temporary
safety, deserve neither liberty nor safety." --Benjamin Franklin