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 -- coreboot mailing list: [email protected] http://www.coreboot.org/mailman/listinfo/coreboot
