@@ -511,7 +511,7 @@ the use of the xconfig configurator [1]. Work should be done to confirm if
the deduced semantics matches our intended Kconfig design goals.
Having well defined semantics can be useful for tools for practical
-evaluation of depenencies, for instance one such use known case was work to
+evaluation of dependencies, for instance one such use known case was work to
express in boolean abstraction of the inferred semantics of Kconfig to
translate Kconfig logic into boolean formulas and run a SAT solver on this to
find dead code / features (always inactive), 114 dead features were found in
Signed-off-by: Andrea Gelmini <andrea.gelmini@gelma.net> --- Documentation/kbuild/kconfig-language.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-)