]> rtime.felk.cvut.cz Git - linux-conf-perf.git/tree - scripts/
Ignore configurations folder
[linux-conf-perf.git] / scripts /
drwxr-xr-x   ..
drwxr-xr-x - allconfig
-rw-r--r-- 591 boot.py
drwxr-xr-x - buildroot_recipe
-rw-r--r-- 283 conf.py
-rw-r--r-- 5037 configurations.py
-rwxr-xr-x 573 confmk.py
-rw-r--r-- 3315 database.py
-rw-r--r-- 98 databaseclean.sql
-rw-r--r-- 1048 databaseinit.sql
-rwxr-xr-x 3991 evaluate.py
-rw-r--r-- 1210 exceptions.py
-rwxr-xr-x 212 from_folder
-rwxr-xr-x 2713 initialize.py
-rw-r--r-- 1414 kernel.py
-rwxr-xr-x 3029 loop.py
-rw-r--r-- 138 nbscript
m--------- - novaboot
drwxr-xr-x - parse_kconfig
drwxr-xr-x - picosat-959
drwxr-xr-x - shared
-rwxr-xr-x 459 test.py
-rw-r--r-- 2891 utils.py
drwxr-xr-x - write_config