]> rtime.felk.cvut.cz Git - linux-conf-perf.git/tree - scripts/
Fix ARCH env variable
[linux-conf-perf.git] / scripts /
drwxr-xr-x   ..
-rw-r--r-- 1041 boot.py
drwxr-xr-x - buildroot_recipe
-rw-r--r-- 283 conf.py
-rwxr-xr-x 804 confmk.py
-rw-r--r-- 1102 exceptions.py
-rwxr-xr-x 2955 initialize.py
-rw-r--r-- 1337 kernel.py
-rwxr-xr-x 3059 loop.py
m--------- - novaboot
drwxr-xr-x - parse_kconfig
drwxr-xr-x - permute
drwxr-xr-x - picosat-959
drwxr-xr-x - shared
-rw-r--r-- 3729 solution.py
-rwxr-xr-x 936 test.py
-rw-r--r-- 2721 utils.py
drwxr-xr-x - write_config