]> rtime.felk.cvut.cz Git - linux-conf-perf.git/search
kconfig2sat: Preliminary support for generating pairs of "single-diff" configurations