<feed xmlns='http://www.w3.org/2005/Atom'>
<title>linux-dev/Documentation/kbuild/Kconfig.recursion-issue-01, branch master</title>
<subtitle>Linux kernel development work - see feature branches</subtitle>
<id>https://git.zx2c4.com/linux-dev/atom/Documentation/kbuild/Kconfig.recursion-issue-01?h=master</id>
<link rel='self' href='https://git.zx2c4.com/linux-dev/atom/Documentation/kbuild/Kconfig.recursion-issue-01?h=master'/>
<link rel='alternate' type='text/html' href='https://git.zx2c4.com/linux-dev/'/>
<updated>2015-10-08T13:36:16Z</updated>
<entry>
<title>kbuild: document recursive dependency limitation / resolution</title>
<updated>2015-10-08T13:36:16Z</updated>
<author>
<name>Luis R. Rodriguez</name>
<email>mcgrof@suse.com</email>
</author>
<published>2015-10-07T23:16:33Z</published>
<link rel='alternate' type='text/html' href='https://git.zx2c4.com/linux-dev/commit/?id=1c199f2878f6c1b8c52125ad9805e94fe2dde472'/>
<id>urn:sha1:1c199f2878f6c1b8c52125ad9805e94fe2dde472</id>
<content type='text'>
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 &lt;geert@linux-m68k.org&gt;
Cc: James Bottomley &lt;jbottomley@odin.com&gt;
Cc: Josh Triplett &lt;josh@joshtriplett.org&gt;
Cc: Paul Bolle &lt;pebolle@tiscali.nl&gt;
Cc: Herbert Xu &lt;herbert@gondor.apana.org.au&gt;
Cc: Takashi Iwai &lt;tiwai@suse.de&gt;
Cc: "Yann E. MORIN" &lt;yann.morin.1998@free.fr&gt;
Cc: Jonathan Corbet &lt;corbet@lwn.net&gt;
Cc: Mate Soos &lt;soos.mate@gmail.com&gt;
Signed-off-by: Luis R. Rodriguez &lt;mcgrof@suse.com&gt;
Signed-off-by: Michal Marek &lt;mmarek@suse.com&gt;
</content>
</entry>
</feed>
