On Wed, Oct 07, 2015 at 04:16:33PM -0700, Luis R. Rodriguez wrote: > From: "Luis R. Rodriguez" <[email protected]> > > 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 <[email protected]> > Cc: James Bottomley <[email protected]> > Cc: Josh Triplett <[email protected]> > Cc: Paul Bolle <[email protected]> > Cc: Herbert Xu <[email protected]> > Cc: Takashi Iwai <[email protected]> > Cc: "Yann E. MORIN" <[email protected]> > Cc: Michal Marek <[email protected]> > Cc: Jonathan Corbet <[email protected]> > Cc: Mate Soos <[email protected]> > Cc: [email protected] > Cc: [email protected] > Cc: [email protected] > Signed-off-by: Luis R. Rodriguez <[email protected]>
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 [email protected] More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/
