That sounds exactly the way my thoughts were proceeding. Please confirm you and I are both great minds. :) I hope so because my experience dictates otherwise.
On Thu, Apr 25, 2013 at 11:28 PM, ron minnich rminnich@gmail.com wrote:
we have this notion of timer_init() or whatever we called it on arm. On all platforms, timer_init could record the clock value when it's called, and then timer_us could report the time relative to the starting value of timer_init.
And then our time would be a 'microseconds since coreboot started' and would still, I think, easily fit in 32 bits.
ron