/etc/

• ../
• additionchain.py
• author-blacklist
• ci
• compile-by-zinc
• etc/coq-scripts @ 14a82bf
• cpufreq
• freshen-bedrock-files.sh
• governor.sh
• hyperthreading.sh
• machine.sh
• tscfreq.c
• turboboost.sh