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 (TODO: add link to paper after publication). 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. The upstream version of Kfeature can be found on Codeberg: https://codeberg.org/6b6279/Kfeature