The Kconfig Variability Framework as a Feature Model: Sampled Configurations for Manual Evaluation

This dataset contains plain text files with sampled solutions used during the manual evaluation of the transformation rules presented in https://doi.org/10.5445/IR/1000162110. To reproduce the manual evaluation process yourself, please copy over the respective Kconfig files in a local copy of the Linux kernel Git repository and run `make menuconfig`. You need to insert an invisible `MODULES` configuration symbol to ensure that tristate configuration symbols are handled correctly by Kconfig. Additionally, you need to remove the default Linux Kconfig file and rename the Kconfig file for which you want to reproduce the evaluation process accordingly (simply remove the number prefix).

Configurations marked with KCONFIG_NONSOLUTION cannot be reconstructed in `menuconfig`, wherein configurations marked with KCONFIG_SOLUTION should be reproducable in the `menuconfig` interface.

We additionally provide the generated feature models for the 9 selected Kconfig files, alongside with the Kconfig files themselves. Kconfig{1,2,3,4,5} can be automatically evaluated with Kfeature, as they contain no tristate confsyms.

The upstream version of Kfeature can be found on Codeberg: https://codeberg.org/6b6279/Kfeature