The Kconfig language defines a set of symbols that are assigned a value in a configuration. We describe the semantics of the Kconfig language according to the behavior exhibited in the xconfig configurator. We assume an abstract syntax representation for concepts in the Kconfig language and delegate the details of the translation from concrete to abstract syntaxes to a later document.

翻译：Kconfig 语言定义了一组在配置中指定值的符号。 我们根据 xconfig 配置器中显示的行为来描述 Kconfig 语言的语义。 我们假设对 Kconfig 语言中的概念进行抽象的语法表达, 并将从混凝土翻译到抽象语法的详细内容委托给以后的文档 。