Subject: Re: LINT'ing the kernel (was Re: CVS commit: src/sys/dev/isa)
To: Rui Paulo <rpaulo@fnop.net>
From: Thor Lancelot Simon <tls@rek.tjls.com>
List: tech-kern
Date: 04/23/2006 11:16:02
On Sun, Apr 23, 2006 at 12:46:50PM +0100, Rui Paulo wrote:
> Christos Zoulas <christos@netbsd.org> writes:
> 
> > Module Name:	src
> > Committed By:	christos
> > Date:		Sat Apr 22 23:56:39 UTC 2006
> >
> > Modified Files:
> > 	src/sys/dev/isa: if_ntwoc_isa.c
> >
> > Log Message:
> > Make this compile again. We really need an ALL kernel.
> 
> FreeBSD has a LINT kernel config file that solves this problem.
> Why don't we try to do the same ?

We used GENERIC for this purpose until people started mysteriously not
including some things in GENERIC. *Shrug*

Thor