1 2 3 4 5 6 7 8
#!/bin/sh set -e #set -x echo "Arch ARM timer dmesg feature test" exec $(dirname $0)/../common/dmesg.sh "ARM arch timer >56 bits at 10000kHz"