On Wed, Oct 07, 2015 at 04:16:33PM -0700, Luis R. Rodriguez wrote: > From: "Luis R. Rodriguez" <mcg...@suse.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 <ge...@linux-m68k.org> > Cc: James Bottomley <jbottom...@odin.com> > Cc: Josh Triplett <j...@joshtriplett.org> > Cc: Paul Bolle <pebo...@tiscali.nl> > Cc: Herbert Xu <herb...@gondor.apana.org.au> > Cc: Takashi Iwai <ti...@suse.de> > Cc: "Yann E. MORIN" <yann.morin.1...@free.fr> > Cc: Michal Marek <mma...@suse.com> > Cc: Jonathan Corbet <cor...@lwn.net> > Cc: Mate Soos <soos.m...@gmail.com> > Cc: linux-kbu...@vger.kernel.org > Cc: linux-...@vger.kernel.org > Cc: linux-kernel@vger.kernel.org > Signed-off-by: Luis R. Rodriguez <mcg...@suse.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 majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/
