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 语言中的概念进行抽象的语法表达, 并将从混凝土翻译到抽象语法的详细内容委托给以后的文档 。
相关内容
专知会员服务
53+阅读 · 2020年1月30日
Arxiv
0+阅读 · 2022年10月21日
Arxiv
0+阅读 · 2022年10月21日
Arxiv
0+阅读 · 2022年10月19日
Arxiv
14+阅读 · 2022年1月20日
相关VIP内容
专知会员服务
53+阅读 · 2020年1月30日
相关资讯
相关论文
Arxiv
0+阅读 · 2022年10月21日
Arxiv
0+阅读 · 2022年10月21日
Arxiv
0+阅读 · 2022年10月19日
Arxiv
14+阅读 · 2022年1月20日
微信扫码咨询专知VIP会员