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
tree26ca8ff2ca7fd65b6a2aed8a89a63bcb76a8474c
parentd5ea4fece4508bf8e72b659cd22fa4840d8d61e5
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