From owner-freebsd-arch@FreeBSD.ORG Tue Mar 30 23:11:23 2004 Return-Path: Delivered-To: freebsd-arch@freebsd.org Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125]) by hub.freebsd.org (Postfix) with ESMTP id 3E75716A4CE for ; Tue, 30 Mar 2004 23:11:23 -0800 (PST) Received: from phantom.cris.net (phantom.cris.net [212.110.130.74]) by mx1.FreeBSD.org (Postfix) with ESMTP id 1363A43D46 for ; Tue, 30 Mar 2004 23:11:21 -0800 (PST) (envelope-from phantom@FreeBSD.org.ua) Received: from phantom.cris.net (phantom@localhost [127.0.0.1]) by phantom.cris.net (8.12.10/8.12.10) with ESMTP id i2V7BHZI068058; Wed, 31 Mar 2004 10:11:17 +0300 (EEST) (envelope-from phantom@FreeBSD.org.ua) Received: (from phantom@localhost) by phantom.cris.net (8.12.10/8.12.10/Submit) id i2V7BGJ1068057; Wed, 31 Mar 2004 10:11:16 +0300 (EEST) (envelope-from phantom) Date: Wed, 31 Mar 2004 10:11:15 +0300 From: Alexey Zelkin To: Dag-Erling Sm?rgrav Message-ID: <20040331071115.GB67752@phantom.cris.net> References: <20040328094048.GA40406@phantom.cris.net> <20040330232429.GA65170@phantom.cris.net> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: X-Operating-System: FreeBSD 4.9-STABLE i386 User-Agent: Mutt/1.5.5.1i cc: arch@FreeBSD.org Subject: Re: CFD: XMLification of NOTES X-BeenThere: freebsd-arch@freebsd.org X-Mailman-Version: 2.1.1 Precedence: list List-Id: Discussion related to FreeBSD architecture List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 31 Mar 2004 07:11:23 -0000 hi, On Wed, Mar 31, 2004 at 01:54:10AM +0200, Dag-Erling Sm?rgrav wrote: > Alexey Zelkin writes: > > On Tue, Mar 30, 2004 at 05:05:24PM +0200, Dag-Erling Sm?rgrav wrote: > > > NOTES is not intended as a list of supported device and options. We > > > have src/sys/conf/files* and src/sys/conf/options* for that. > > Strange. IMO LINT was existed for exactly this reason > > Your opinion does not matter. The purpose of LINT is to cover as much > code as possible. Why do you think it's called LINT? Hey, please stop such kind of quoting. Maybe you have forgot to read *complete* paragraph of my previous letter ? Especially part of paragraph you deleted while quoting. And according to "my opinion" (in RELENG_4 terms): : $ wc -l LINT : 2886 LINT : $ grep ^# LINT | wc -l : 1916 66.4% (or 2/3) of LINT are comments. So, my opinion is based on current situation. > (hint: man lint) Thanks for the hint. It was helpful hint back in 1996 then I started to use lint(1). > > I am not asking for patches, but if you would provide me general > > description how to realize that CPU_I386 conflicts with SMP and > > ADAPTIVE_MUTEXES depends on SMP (using your way) I would be happy and > > re-think my approach. > > CPU_I386 should not conflict with SMP, but a kernel build with both > will be very slow. Is it hard to check facts before answering ? $FreeBSD: src/sys/i386/i386/mp_machdep.c,v 1.230 2004/01/24 19:52:47 jeff Exp $ : #if defined(I386_CPU) && !defined(COMPILING_LINT) : #error SMP not supported with I386_CPU : #endif : #ifndef DEV_APIC : #error The apic device is required for SMP, add "device apic" to your config file. : #endif : #if defined(CPU_DISABLE_CMPXCHG) && !defined(COMPILING_LINT) : #error SMP not supported with CPU_DISABLE_CMPXCHG : #endif So, I repeat my question "how (based on src/sys/conf/* files) detect these conflicts and dependencies" ? I need conceptual answer only. PS: Answer just for answer is not worth to answer... -- /* Alexey Zelkin && Independent Contractor */ /* phantom(at)FreeBSD.org && http://www.FreeBSD.org/java */ /* phantom(at)cris.net && http://www.FreeBSD.org.ua/ */