https://github.com/mit-plv/fiat-crypto
Tip revision: 20ff71d2e96ca0948be074ed85b0607a4e821e5d authored by Andres Erbsen on 10 October 2021, 19:29:49 UTC
Update coq.yml
Update coq.yml
Tip revision: 20ff71d
turboboost.sh
#!/bin/sh
set -eu
usage() {
echo "USAGE: $0 <on|off>" ; exit 111
}
if [ "$#" -eq 0 ]; then
usage
fi
case $1 in
on) echo 0 > /sys/devices/system/cpu/intel_pstate/no_turbo ;;
off) echo 1 > /sys/devices/system/cpu/intel_pstate/no_turbo ;;
*) usage
esac