Subject: Re: LINT'ing the kernel
To: None <tech-kern@netbsd.org>
From: Rui Paulo <rpaulo@fnop.net>
List: tech-kern
Date: 04/23/2006 16:21:01
Thor Lancelot Simon <tls@rek.tjls.com> writes:

> 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*

Well, true. But there's always the problem of not having a GENERIC
kernel for all ports. I would be happy if we could create a GENERIC.in
under sys/conf/ and then use that for all the ports we have (if
there's a problem with some special port, we now have the 'no' thing
in config(1)).

Anyway, the FreeBSD LINT kernel is not for common usage but only for
test-compile from what I understand.

-- 
  Rui Paulo			<rpaulo@{NetBSD{,-PT}.org,fnop.net}>