]> rtime.felk.cvut.cz Git - linux-conf-perf.git/tree - scripts/kconfig2dot/
projects / linux-conf-perf.git / tree
? search:
summary | shortlog | log | commit | commitdiff | tree
history | HEAD | snapshot
Add skeleton for kconfig2sat tool
[linux-conf-perf.git] / scripts / kconfig2dot /
drwxr-xr-x   ..
-rw-r--r-- 24 .gitignore blob | history | raw
-rw-r--r-- 553 Makefile blob | history | raw
-rw-r--r-- 8594 kconfig2dot.cc blob | history | raw
Automated overhead analysis of Linux configuration options