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