From owner-freebsd-smp Mon Oct 9 2: 9:29 2000 Delivered-To: freebsd-smp@freebsd.org Received: from isbalham.ist.co.uk (isbalham.ist.co.uk [192.31.26.1]) by hub.freebsd.org (Postfix) with ESMTP id 580F537B502; Mon, 9 Oct 2000 02:09:26 -0700 (PDT) Received: (from uucp@localhost) by isbalham.ist.co.uk (8.9.2/8.8.7) with UUCP id KAA72684; Mon, 9 Oct 2000 10:09:25 +0100 (BST) (envelope-from rb@gid.co.uk) Received: from [194.32.164.2] (eccles [194.32.164.2]) by seagoon.gid.co.uk (8.9.3/8.9.3) with ESMTP id JAA86939; Mon, 9 Oct 2000 09:47:28 +0100 (BST) (envelope-from rb@gid.co.uk) X-Sender: rb@194.32.164.1 Message-Id: In-Reply-To: <200010090607.XAA03206@john.baldwin.cx> References: Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Date: Mon, 9 Oct 2000 09:47:28 +0100 To: John Baldwin From: Bob Bishop Subject: RE: Options with SMPng Cc: smp@FreeBSD.ORG Sender: owner-freebsd-smp@FreeBSD.ORG Precedence: bulk X-Loop: FreeBSD.org Thanks, What about WITNESS? I'm checking these because KTR in particular increases the kenel size and I'm having trouble getting large kernels to boot (see thread "Recent kernels won't boot" on -current). At 23:07 -0700 8/10/00, John Baldwin wrote: >On 08-Oct-00 Bob Bishop wrote: >> Hi, >> >> Apart from the basic SMP options, what kernel options should the >> conscientious SMPng tester be using right now? TIA > >As mentioned on -current about 2-3 weeks ago: > >options INVARIANTS >options INVARIANT_SUPPORT >options DIAGNOSTICS >options SMP_DEBUG > >(if you want the KTR tracing stuff:) >options KTR >options KTR_EXTEND >options KTR_COMPILE=0x3fffff >options KTR_MASK=(KTR_INTR|KTR_PROC) >options KTR_ENTRIES=1024 # or some other power of 2 > >KTR is only useful during panics when you can dump the trace >buffer, or if you are doiing remote kgdb, or ddb on a running >kernel. -- Bob Bishop (0118) 977 4017 international code +44 118 rb@gid.co.uk fax (0118) 989 4254 To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe freebsd-smp" in the body of the message