#/bin/bash
echo "Loading hrtimer.ko"
insmod hrtimer.ko
sleep 2
echo "warping time"
./warp_time 10
echo "done"