From: Nathan Chancellor <nathan@kernel.org>
To: "Ahmed S. Darwish" <darwi@linutronix.de>
Cc: "Julian Braha" <julianbraha@gmail.com>,
"Clark Williams" <clrkwllms@kernel.org>,
"Steven Rostedt" <rostedt@goodmis.org>,
"Ingo Molnar" <mingo@redhat.com>,
"Nicolas Schier" <nsc@kernel.org>,
"Sebastian Andrzej Siewior" <bigeasy@linutronix.de>,
"Frederic Weisbecker" <frederic@kernel.org>,
"Greg Kroah-Hartman" <gregkh@linuxfoundation.org>,
"Jonathan Corbet" <corbet@lwn.net>,
"John Ogness" <john.ogness@linutronix.de>,
"Derek Barbosa" <debarbos@redhat.com>,
"Zbigniew Jędrzejewski-Szmek" <zbyszek@amutable.com>,
"Daan De Meyer" <daan.j.demeyer@gmail.com>,
"Luca Boccassi" <luca.boccassi@gmail.com>,
linux-rt-devel@lists.linux.dev, debian-kernel@lists.debian.org,
linux-kbuild@vger.kernel.org, linux-doc@vger.kernel.org,
linux-kernel@vger.kernel.org, arighi@nvidia.com
Subject: Re: [PATCH v1 00/10] tools: Introduce a kernel configuration checker
Date: Mon, 9 Nov 2026 11:52:30 -0500 [thread overview]
Message-ID: <20261109165230.GC1608140@ax162> (raw)
In-Reply-To: <avHxmCEdHgyRD7n0@lx-t490>
On Mon, Nov 09, 2026 at 05:15:20PM +0100, Ahmed S. Darwish wrote:
> On Sun, 08 Nov 2026, Nathan Chancellor wrote:
> >
> > On Sun, Nov 08, 2026 at 06:59:26PM +0000, Julian Braha wrote:
> > > I think the name will cause confusion.
> > >
> > > We already have some "kconfig checkers" in-tree, like
> > > scripts/kconfig-sym-check.pl
> > >
> > > But actually, your tool is quite unrelated, because that one checks
> > > 'Kconfig' source files, while yours checks the user's '.config' file.
> > >
> > > This has already caused some confusion in the past, for example in this
> > > thread [2], someone misunderstood which one 'kconfig-sym-check'
> > > actually checks.
> > >
> > > In addition to .config vs Kconfig, the name is similar to
> > > 'kconfig-sym-check', but is not as descriptive about *what kind* of
> > > checks it performs.
> >
> > Yeah, I had similar thoughts when this initially appeared in my inbox.
> > As you mentioned in your email, this is basically a policy checker (“we
> > need these configuration options enabled or disabled to meet our
> > requirements”), so maybe config-policy-checker or something like that
> > would be clearer?
>
> I would've loved to keep "kconfig" in the name so that outside the kernel,
> it's still clear it's about a kernel .config. For example, a Debian package
> for this tool can be called "kconfig-checker", "kconfig-policy-checker",
> etc.
Sure, that makes sense. Like Julian mentioned, kconfig is certainly an
overloaded term but there is little we can do about that now :)
> What about kconfig-audit? Something like:
>
> ./tools/kconfig-audit/audit.py -c .config -p PREEMPT_RT
>
> make POLICY=preempt_rt auditconfig
>
> config-policy-checker does sound good, but it feels verbose.
>
> Feedback appreciated.
Yeah, config-policy-checker is a little verbose and might not translate
into make rules well. kconfig-audit does not sound bad to me, especially
with the rename of RULES to POLICY; at the very least, it is on the
right track.
--
Cheers,
Nathan
next prev parent reply other threads:[~2026-11-09 16:52 UTC|newest]
Thread overview: 36+ messages / expand[flat|nested] mbox.gz Atom feed top
2026-11-06 9:19 Ahmed S. Darwish
2026-11-06 9:19 ` [PATCH v1 01/10] kconfig-checker: Add schema for rule files Ahmed S. Darwish
2026-11-08 18:59 ` Julian Braha
2026-11-09 12:40 ` Ahmed S. Darwish
2026-11-06 9:19 ` [PATCH v1 02/10] kconfig-checker: Introduce PREEMPT_RT configuration rules Ahmed S. Darwish
2026-11-07 9:20 ` sashiko-bot
2026-11-09 18:09 ` Ahmed S. Darwish
2026-11-06 9:19 ` [PATCH v1 03/10] kconfig-checker: Add the configuration checker code Ahmed S. Darwish
2026-11-07 9:20 ` sashiko-bot
2026-11-09 19:29 ` Ahmed S. Darwish
2026-11-08 18:59 ` Julian Braha
2026-11-09 13:00 ` Ahmed S. Darwish
2026-11-06 9:19 ` [PATCH v1 04/10] kconfig: Introduce checkconfig target Ahmed S. Darwish
2026-11-07 9:20 ` sashiko-bot
2026-11-09 20:07 ` Ahmed S. Darwish
2026-11-08 18:59 ` Julian Braha
2026-11-09 0:39 ` Nathan Chancellor
2026-11-09 13:18 ` Ahmed S. Darwish
2026-11-06 9:19 ` [PATCH v1 05/10] Documentation: Describe kconfig-checker usage and design Ahmed S. Darwish
2026-11-06 9:19 ` [PATCH v1 06/10] kconfig-checker: Split schema to support component reuse Ahmed S. Darwish
2026-11-07 9:20 ` sashiko-bot
2026-11-09 18:22 ` Ahmed S. Darwish
2026-11-06 9:19 ` [PATCH v1 07/10] kconfig-checker: Introduce overlays schema Ahmed S. Darwish
2026-11-07 9:20 ` sashiko-bot
2026-11-09 16:47 ` Ahmed S. Darwish
2026-11-06 9:19 ` [PATCH v1 08/10] kconfig-checker: Add support for rule overlays Ahmed S. Darwish
2026-11-06 9:19 ` [PATCH v1 09/10] Documentation: Describe kconfig-checker overlays Ahmed S. Darwish
2026-11-07 9:20 ` sashiko-bot
2026-11-09 16:50 ` Ahmed S. Darwish
2026-11-06 9:19 ` [PATCH v1 10/10] kconfig: Introduce OVERLAY= for make checkconfig Ahmed S. Darwish
2026-11-08 18:59 ` [PATCH v1 00/10] tools: Introduce a kernel configuration checker Julian Braha
2026-11-09 0:37 ` Nathan Chancellor
2026-11-09 16:15 ` Ahmed S. Darwish
2026-11-09 16:52 ` Nathan Chancellor [this message]
2026-11-09 17:04 ` Ahmed S. Darwish
2026-11-09 15:49 ` Ahmed S. Darwish
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20261109165230.GC1608140@ax162 \
--to=nathan@kernel.org \
--cc=arighi@nvidia.com \
--cc=bigeasy@linutronix.de \
--cc=clrkwllms@kernel.org \
--cc=corbet@lwn.net \
--cc=daan.j.demeyer@gmail.com \
--cc=darwi@linutronix.de \
--cc=debarbos@redhat.com \
--cc=debian-kernel@lists.debian.org \
--cc=frederic@kernel.org \
--cc=gregkh@linuxfoundation.org \
--cc=john.ogness@linutronix.de \
--cc=julianbraha@gmail.com \
--cc=linux-doc@vger.kernel.org \
--cc=linux-kbuild@vger.kernel.org \
--cc=linux-kernel@vger.kernel.org \
--cc=linux-rt-devel@lists.linux.dev \
--cc=luca.boccassi@gmail.com \
--cc=mingo@redhat.com \
--cc=nsc@kernel.org \
--cc=rostedt@goodmis.org \
--cc=zbyszek@amutable.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox
all inboxes | Powered by JetHome®