Lines Matching refs:Kconfig

153     This imports the environment variable into Kconfig. It behaves like
249 Kconfig syntax
345 Kconfig hints
347 This is a collection of Kconfig tips, most of which aren't obvious at
348 first glance and most of which have become idioms in several Kconfig
356 that is defined in a common Kconfig file and selected by the relevant
360 We would in lib/Kconfig see:
397 Kconfig recursive dependency limitations
400 If you've hit the Kconfig error: "recursive dependency detected" you've run
401 into a recursive dependency issue with Kconfig, a recursive dependency can be
403 Kconfig files comply with specified configuration requirements. In order to do
404 that kconfig must determine the values that are possible for all Kconfig
406 between two or more Kconfig symbols. For more details refer to the "Simple
407 Kconfig recursive issue" subsection below. Kconfig does not do recursive
408 dependency resolution; this has a few implications for Kconfig file writers.
410 technical limitation which this brings upon Kconfig developers. Eager
414 Simple Kconfig recursive issue
417 Read: Documentation/kbuild/Kconfig.recursion-issue-01
421 make KBUILD_KCONFIG=Documentation/kbuild/Kconfig.recursion-issue-01 allnoconfig
423 Cumulative Kconfig recursive issue
426 Read: Documentation/kbuild/Kconfig.recursion-issue-02
430 make KBUILD_KCONFIG=Documentation/kbuild/Kconfig.recursion-issue-02 allnoconfig
435 Developers who run into the recursive Kconfig issue have three options
444 The resolution to a) can be tested with the sample Kconfig file
445 Documentation/kbuild/Kconfig.recursion-issue-01 through the removal
450 The two different resolutions for b) can be tested in the sample Kconfig file
451 Documentation/kbuild/Kconfig.recursion-issue-02.
495 Kconfig should have at least clear and well defined semantics which also
499 Further work on both of these areas is welcomed on Kconfig. We elaborate
502 Semantics of Kconfig
505 The use of Kconfig is broad, Linux is now only one of Kconfig's users:
506 one study has completed a broad analysis of Kconfig use in 12 projects [0].
508 in documenting basic Kconfig syntax a more precise definition of Kconfig
509 semantics is welcomed. One project deduced Kconfig semantics through
511 the deduced semantics matches our intended Kconfig design goals.
515 express in boolean abstraction of the inferred semantics of Kconfig to
516 translate Kconfig logic into boolean formulas and run a SAT solver on this to
520 Confirming this could prove useful as Kconfig stands as one of the the leading
525 variability modeling languages such as Kconfig [3].
532 Full SAT solver for Kconfig
535 Although SAT solvers [0] haven't yet been used by Kconfig directly, as noted in
537 abstraction the inferred semantics of Kconfig to translate Kconfig logic into
541 variability models from Kconfig, and put them together with a propositional
544 desirable on Kconfig one approach would be to evaluate repurposing such efforts
545 somehow on Kconfig. There is enough interest from mentors of existing projects