linux-kernel - Re: [PATCH v6 01/11] kconfig: Add PicoSAT interface

lists.openwall.net		lists / announce owl-users owl-dev john-users john-dev passwdqc-users yescrypt popa3d-users / oss-security kernel-hardening musl sabotage tlsify passwords / crypt-dev xvendor / Bugtraq Full-Disclosure linux-kernel linux-netdev linux-ext4 linux-hardening linux-cve-announce PHC
Open Source and information security mailing list archives

Hash Suite: Windows password security audit tool. GUI, reports in PDF.

[<prev] [next>] [<thread-prev] [day] [month] [year] [list]

Message-ID: <20250109132817.1426138-1-jackmanb@google.com>
Date: Thu,  9 Jan 2025 13:28:17 +0000
From: Brendan Jackman <jackmanb@...gle.com>
To: ole0811sch@...il.com
Cc: deltaone@...ian.org, jan.sollmann@....de, jude.gyimah@....de, 
	linux-kbuild@...r.kernel.org, linux-kernel@...r.kernel.org, 
	masahiroy@...nel.org, mcgrof@...nel.org, nathan@...nel.org, nicolas@...sle.eu, 
	thorsten.berger@....de
Subject: Re: [PATCH v6 01/11] kconfig: Add PicoSAT interface

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?

Personally, the only reason I ever use xconfig (well, I use menuconfig, but same
thing) is to navigate "conflicts". If that problem went away I'd have no more
reason to open it except to access the cool SAT thing, so it would be even more
convenient to cut out the middleman.