From: Luis Chamberlain <mcgrof@kernel.org>
To: Brendan Jackman <jackmanb@google.com>
Cc: ole0811sch@gmail.com, deltaone@debian.org, jan.sollmann@rub.de,
jude.gyimah@rub.de, linux-kbuild@vger.kernel.org,
linux-kernel@vger.kernel.org, masahiroy@kernel.org,
nathan@kernel.org, nicolas@fjasle.eu, thorsten.berger@rub.de
Subject: Re: [PATCH v6 01/11] kconfig: Add PicoSAT interface
Date: Fri, 10 Jan 2025 11:15:22 -0800 [thread overview]
Message-ID: <Z4FxyuF-Lnqa4Wl_@bombadil.infradead.org> (raw)
In-Reply-To: <20250109132817.1426138-1-jackmanb@google.com>
On Thu, Jan 09, 2025 at 01:28:17PM +0000, Brendan Jackman wrote:
> Hi all, this looks cool!
>
> > This support is provided within xconfig.
>
> Sorry I haven't read properly enough to be able to answer this for myself but I
> suspect I'm not the only one idly wondering...
>
> Would it be easy enough to provide this support as a standalone binary that can
> be called from scripts/config too?
I suspect this begs more the question of how could this be useful
outside of xconfig. But one step at a time, this can be done *after*
this initial patch set gets merged, but certainly its good to think
about and project if the current architecture would need to change to
address that later. I suspect not much yet.
Luis
next prev parent reply other threads:[~2025-01-10 19:15 UTC|newest]
Thread overview: 25+ messages / expand[flat|nested] mbox.gz Atom feed top
2024-10-28 3:49 [PATCH v6 00/11] kbuild, kconfig: Add support for conflict resolution Ole Schuerks
2024-10-28 3:49 ` [PATCH v6 01/11] kconfig: Add PicoSAT interface Ole Schuerks
2024-12-04 23:07 ` Luis Chamberlain
2024-12-09 0:57 ` Ole Schuerks
2024-12-11 3:48 ` Luis Chamberlain
2024-10-28 3:49 ` [PATCH v6 02/11] kbuild: Add list_size, list_at_index, list_for_each_from Ole Schuerks
2024-12-04 23:19 ` Luis Chamberlain
2024-12-09 1:00 ` Ole Schuerks
2024-12-11 3:49 ` Luis Chamberlain
2024-10-28 3:49 ` [PATCH v6 03/11] kconfig: Add definitions Ole Schuerks
2024-10-28 3:49 ` [PATCH v6 04/11] kconfig: Add files for building constraints Ole Schuerks
2024-10-28 3:49 ` [PATCH v6 05/11] kconfig: Add files for handling expressions Ole Schuerks
2024-10-28 3:49 ` [PATCH v6 06/11] kconfig: Add files for RangeFix Ole Schuerks
2024-12-04 23:23 ` Luis Chamberlain
2024-10-28 3:49 ` [PATCH v6 07/11] kconfig: Add files with utility functions Ole Schuerks
2024-10-28 3:49 ` [PATCH v6 08/11] kconfig: Add tools Ole Schuerks
2024-10-28 3:49 ` [PATCH v6 09/11] kconfig: Add xconfig-modifications Ole Schuerks
2024-10-28 3:49 ` [PATCH v6 10/11] kconfig: Add loader.gif Ole Schuerks
2024-10-28 3:49 ` [PATCH v6 11/11] kconfig: Add documentation for the conflict resolver Ole Schuerks
2024-12-04 22:58 ` [PATCH v6 00/11] kbuild, kconfig: Add support for conflict resolution Luis Chamberlain
2024-12-04 23:26 ` Luis Chamberlain
2025-01-09 13:28 ` [PATCH v6 01/11] kconfig: Add PicoSAT interface Brendan Jackman
2025-01-10 19:15 ` Luis Chamberlain [this message]
2025-01-13 16:29 ` Brendan Jackman
2025-02-07 15:43 ` Thorsten Berger
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=Z4FxyuF-Lnqa4Wl_@bombadil.infradead.org \
--to=mcgrof@kernel.org \
--cc=deltaone@debian.org \
--cc=jackmanb@google.com \
--cc=jan.sollmann@rub.de \
--cc=jude.gyimah@rub.de \
--cc=linux-kbuild@vger.kernel.org \
--cc=linux-kernel@vger.kernel.org \
--cc=masahiroy@kernel.org \
--cc=nathan@kernel.org \
--cc=nicolas@fjasle.eu \
--cc=ole0811sch@gmail.com \
--cc=thorsten.berger@rub.de \
/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;
as well as URLs for NNTP newsgroup(s).