Formal Semantics of the Kconfig Language

TitleFormal Semantics of the Kconfig Language
Publication TypeReport
Year of Publication2010
AuthorsShe, S., and T. Berger
InstitutionUniversity of Waterloo
TypeTechnical Note

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 behaviour 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.

Refereed DesignationNon-Refereed
kconfig_semantics.pdf132.14 KB