https://github.com/mit-plv/fiat-crypto
Raw File
Tip revision: 20ff71d2e96ca0948be074ed85b0607a4e821e5d authored by Andres Erbsen on 10 October 2021, 19:29:49 UTC
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
back to top