]> rtime.felk.cvut.cz Git - linux-conf-perf.git/tree - scripts/
Rename program permute to permute_conf
[linux-conf-perf.git] / scripts /
drwxr-xr-x   ..
-rw-r--r-- 591 boot.py
drwxr-xr-x - buildroot_recipe
-rw-r--r-- 283 conf.py
-rwxr-xr-x 736 confmk.py
-rwxr-xr-x 3903 evaluate.py
-rw-r--r-- 1102 exceptions.py
-rwxr-xr-x 2705 initialize.py
-rw-r--r-- 1414 kernel.py
-rwxr-xr-x 3266 loop.py
-rw-r--r-- 138 nbscript
m--------- - novaboot
drwxr-xr-x - parse_kconfig
drwxr-xr-x - permute_conf
drwxr-xr-x - picosat-959
drwxr-xr-x - shared
-rw-r--r-- 3890 solution.py
-rwxr-xr-x 459 test.py
-rw-r--r-- 3513 utils.py
drwxr-xr-x - write_config