]> www.infradead.org Git - users/dwmw2/linux.git/commit
projects / users / dwmw2 / linux.git / commit
summary | shortlog | log | commit | commitdiff | tree
(parent: d5ea4fe) | patch
docs: kbuild: add references on Kconfig semantics
authorNecip Fazil Yildiran <fazilyildiran@gmail.com>
Tue, 5 Apr 2022 04:33:51 +0000 (00:33 -0400)
committerMasahiro Yamada <masahiroy@kernel.org>
Wed, 6 Apr 2022 10:27:41 +0000 (19:27 +0900)
commitcab802b7b8c9eea6fe30161dab77a05d20d76195
tree26ca8ff2ca7fd65b6a2aed8a89a63bcb76a8474ctree
parentd5ea4fece4508bf8e72b659cd22fa4840d8d61e5commit | diff
docs: kbuild: add references on Kconfig semantics

Add references to 1) a research paper which provides a definition of
Kconfig semantics, 2) the kismet tool, which checks for unmet direct
dependency bugs in Kconfig specifications.

Signed-off-by: Paul Gazzillo <paul@pgazz.com>
Signed-off-by: Necip Fazil Yildiran <fazilyildiran@gmail.com>
Signed-off-by: Masahiro Yamada <masahiroy@kernel.org>
Documentation/kbuild/kconfig-language.rst diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.