From mboxrd@z Thu Jan  1 00:00:00 1970
Message-ID: <07c615ea6bbe0b48d28019e1c0f3249c@plan9.bell-labs.com>
To: 9fans@cse.psu.edu
Subject: Re: [9fans] kernel debug - how
From: "Russ Cox" <rsc@plan9.bell-labs.com>
In-Reply-To: <80033b3bc85e1e5d0e0694b1623a66eb@snellwilcox.com>
MIME-Version: 1.0
Content-Type: text/plain; charset="US-ASCII"
Content-Transfer-Encoding: 7bit
Date: Wed, 26 Feb 2003 09:34:34 -0500
Topicbox-Message-UUID: 731e37e0-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.)

Russ