]> rtime.felk.cvut.cz Git - linux-conf-perf.git/history - scripts/shared/kconfig/lcp_utils.h
projects / linux-conf-perf.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Add skeleton for kconfig2sat tool
[linux-conf-perf.git] / scripts / shared / kconfig / lcp_utils.h
2015-10-18 Michal SojkaAdd skeleton for kconfig2sat tool blob | commitdiff | raw
2015-10-17 Michal SojkaSimplify execution of allconfig blob | commitdiff | raw
Automated overhead analysis of Linux configuration options