On Wed, Oct 07, 2015 at 04:16:33PM -0700, Luis R. Rodriguez wrote: > From: "Luis R. Rodriguez" <mcgrof@xxxxxxxx> > > 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@xxxxxxxxxxxxxx> > Cc: James Bottomley <jbottomley@xxxxxxxx> > Cc: Josh Triplett <josh@xxxxxxxxxxxxxxxx> > Cc: Paul Bolle <pebolle@xxxxxxxxxx> > Cc: Herbert Xu <herbert@xxxxxxxxxxxxxxxxxxx> > Cc: Takashi Iwai <tiwai@xxxxxxx> > Cc: "Yann E. MORIN" <yann.morin.1998@xxxxxxx> > Cc: Michal Marek <mmarek@xxxxxxxx> > Cc: Jonathan Corbet <corbet@xxxxxxx> > Cc: Mate Soos <soos.mate@xxxxxxxxx> > Cc: linux-kbuild@xxxxxxxxxxxxxxx > Cc: linux-doc@xxxxxxxxxxxxxxx > Cc: linux-kernel@xxxxxxxxxxxxxxx > Signed-off-by: Luis R. Rodriguez <mcgrof@xxxxxxxx> Applied to kbuild.git#kconfig, thanks. Michal -- To unsubscribe from this list: send the line "unsubscribe linux-doc" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
