#!/bin/bash set -e trap : 2 $HARVEY/linux_amd64/bin/centre -i "" -ninep-dir=$HARVEY & centrepid=$! export machineflag=q35 if [ "$(uname)" = "Linux" ] && [ -e /dev/kvm ]; then export kvmflag='-enable-kvm' export machineflag='pc,accel=kvm' if [ ! -w /dev/kvm ]; then # we don't have access as a regular user export kvmdo=sudo fi fi # vmware-cpuid-freq=on,+invtsc exposes the 0x40000000 hypervisor cpuid values to # the guest, which we can use to identify the TSC frequency read -r cmd <