Skip site navigation (1)Skip section navigation (2)
Date:      Sat, 10 Jan 2026 11:41:50 -0500
From:      John Baldwin <jhb@FreeBSD.org>
To:        Konstantin Belousov <kostikbel@gmail.com>, Olivier Certner <olce@freebsd.org>
Cc:        src-committers@freebsd.org, dev-commits-src-all@freebsd.org, dev-commits-src-main@freebsd.org
Subject:   Re: git: 67599eef01f5 - main - sys/x86/NOTES: Add vt_efifb
Message-ID:  <c26956ab-b32f-4972-b1a3-2b2ee24153b1@FreeBSD.org>
In-Reply-To: <aWG5ZVSaAbMwpH0G@kib.kiev.ua>
References:  <69612e4a.3279b.9f58eba@gitrepo.freebsd.org> <aWG5ZVSaAbMwpH0G@kib.kiev.ua>

index | next in thread | previous in thread | raw e-mail

On 1/9/26 21:28, Konstantin Belousov wrote:
> On Fri, Jan 09, 2026 at 04:35:22PM +0000, Olivier Certner wrote:
>> The branch main has been updated by olce:
>>
>> URL: https://cgit.FreeBSD.org/src/commit/?id=67599eef01f5417715f673ec81fc1467917c7a10
>>
>> commit 67599eef01f5417715f673ec81fc1467917c7a10
>> Author:     Olivier Certner <olce@FreeBSD.org>
>> AuthorDate: 2026-01-09 16:23:59 +0000
>> Commit:     Olivier Certner <olce@FreeBSD.org>
>> CommitDate: 2026-01-09 16:34:56 +0000
>>
>>      sys/x86/NOTES: Add vt_efifb
>>      
>>      Contrary to what is stated in commit f224591746bd ("Add ASMC_DEBUG make
>>      option"), the various NOTES files should list all available options.
> No, the f224591746bd commit is correct.  GENERIC + LINT should cover all
> options and reverse of them, as much as possible.  In other words, LINT
> should be complementary to GENERIC, for most options.
> 
> At least this is how bde@ described the intent of LINT, and I think this is
> a right thing to follow.

Hmmm, I've always understood it that options that change behavior (like, say
HZ) should have non-default values in LINT to test the setting of non-default
options, but that LINT itself should include "all the things" in terms of
coverage, so 'device' statements and 'options' that add in new code like
filesystems should always be in LINT.

-- 
John Baldwin



home | help

Want to link to this message? Use this
URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?c26956ab-b32f-4972-b1a3-2b2ee24153b1>