linux-kernel - Re: [PATCH v4] kbuild: document recursive dependency limitation / resolution

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]

Date:	Thu, 8 Oct 2015 15:37:41 +0200
From:	Michal Marek <mmarek@...e.com>
To:	"Luis R. Rodriguez" <mcgrof@...not-panic.com>
Cc:	josh@...htriplett.org, jbottomley@...n.com, geert@...ux-m68k.org,
	pebolle@...cali.nl, herbert@...dor.apana.org.au, tiwai@...e.de,
	yann.morin.1998@...e.fr, corbet@....net,
	linux-kbuild@...r.kernel.org, linux-doc@...r.kernel.org,
	linux-kernel@...r.kernel.org, roberto@...osmo.org, zack@...ilon.cc,
	mcgrof@...e.com, soos.mate@...il.com, skl@....ua.pt,
	iouliia@....ua.pt, biere@....at, julia.lawall@...6.fr,
	chidaph@...il.com, wasowski@....dk, bergert@...lmers.se,
	mgorman@...e.de, vegard.nossum@...il.com,
	kconfig-sat@...glegroups.com
Subject: Re: [PATCH v4] kbuild: document recursive dependency limitation /
 resolution

On Wed, Oct 07, 2015 at 04:16:33PM -0700, Luis R. Rodriguez wrote:
> From: "Luis R. Rodriguez" <mcgrof@...e.com>
> 
> Recursive dependency issues with kconfig are unavoidable due to
> some limitations with kconfig, since these issues are recurring
> provide a hint to the user how they can resolve these dependency
> issues and also document why such limitation exists.
> 
> While at it also document a bit of future prospects of ways to
> enhance Kconfig, including providing formal semantics and evaluation
> of use of a SAT solver. If you're interested in this work or prospects
> of it check out the kconfig-sat project wiki [0] and mailing list [1].
> 
> [0] http://kernelnewbies.org/KernelProjects/kconfig-sat
> [1] https://groups.google.com/d/forum/kconfig-sat
> 
> Cc: Geert Uytterhoeven <geert@...ux-m68k.org>
> Cc: James Bottomley <jbottomley@...n.com>
> Cc: Josh Triplett <josh@...htriplett.org>
> Cc: Paul Bolle <pebolle@...cali.nl>
> Cc: Herbert Xu <herbert@...dor.apana.org.au>
> Cc: Takashi Iwai <tiwai@...e.de>
> Cc: "Yann E. MORIN" <yann.morin.1998@...e.fr>
> Cc: Michal Marek <mmarek@...e.com>
> Cc: Jonathan Corbet <corbet@....net>
> Cc: Mate Soos <soos.mate@...il.com>
> Cc: linux-kbuild@...r.kernel.org
> Cc: linux-doc@...r.kernel.org
> Cc: linux-kernel@...r.kernel.org
> Signed-off-by: Luis R. Rodriguez <mcgrof@...e.com>

Applied to kbuild.git#kconfig, thanks.

Michal
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@...r.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/