From owner-freebsd-arch Tue Nov 14 3:22:40 2000 Delivered-To: freebsd-arch@freebsd.org Received: from bsdone.bsdwins.com (www.bsdwins.com [192.58.184.33]) by hub.freebsd.org (Postfix) with ESMTP id 1B07437B479; Tue, 14 Nov 2000 03:22:37 -0800 (PST) Received: (from jwd@localhost) by bsdone.bsdwins.com (8.11.0/8.11.0) id eAEBMag90356; Tue, 14 Nov 2000 06:22:36 -0500 (EST) (envelope-from jwd) Date: Tue, 14 Nov 2000 06:22:36 -0500 From: "John W. De Boskey" To: John Baldwin , arch@FreeBSD.ORG Subject: Re: Turning on debugging in GENERIC Message-ID: <20001114062236.A90313@bsdwins.com> References: <200011140634.eAE6Ymw05170@grimreaper.grondar.za> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.2.5i In-Reply-To: <200011140634.eAE6Ymw05170@grimreaper.grondar.za>; from mark@grondar.za on Tue, Nov 14, 2000 at 08:34:48AM +0200 Sender: owner-freebsd-arch@FreeBSD.ORG Precedence: bulk X-Loop: FreeBSD.ORG Please strip these options from the GENERIC kernel during make release if you decide to to this. Thanks, John ----- Mark Murray's Original Message ----- > > Well, I've seen several cases of this being talked about, but unless > > there are major objections (and there shouldn't be), I plan to turn on > > the following options in GENERIC in -current in 2-3 days: > > > > options INVARIANTS > > options INVARIANT_SUPPORT > > options DIAGNOSTICS > > options WITNESS > > Cool! Hoping that it works, of course! :-) > > > Currently a kernel will not boot with WITNESS turned on (it will die > > during the SCSI/ATA probes), but I have patches to fix this that have > > been tested on UP and SMP x86 and work fine and I am in the process of > > testing on my Alpha. If anyone has any other debugging options that > > they would like to see turned onin addition, feel free to add to this > > list. > > Aren't there some speed issues, or have these been worked out? > > M > -- > Mark Murray > Join the anti-SPAM movement: http://www.cauce.org To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe freebsd-arch" in the body of the message