Adjust timebase for the Arty.
Currently the timer of the Arty moves at half of the rate of the wall time. (measured using uptime)
This leads to some benchmark results being twice as high as they should be.
@gsomlo This might apply to some other configs as well.
Adjust timebase for the Arty. Currently the timer of the Arty moves at half of the rate of the wall time. (measured using
uptime
) This leads to some benchmark results being twice as high as they should be. @gsomlo This might apply to some other configs as well.