Add function to read hp ticks.
[bertos.git] / boards / at91sam7x-ek / benchmark / .spec