CFD: XMLification of NOTES

Alexey Zelkin phantom at FreeBSD.org
Tue Mar 30 23:11:23 PST 2004


hi,

On Wed, Mar 31, 2004 at 01:54:10AM +0200, Dag-Erling Sm?rgrav wrote:
> Alexey Zelkin <phantom at FreeBSD.org> 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/  */


More information about the freebsd-arch mailing list