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