Easy to add time stamps?

[Paul Menzel]

Dear SeaBIOS folks,

both coreboot and GRUB 2 (from Bazaar) currently allow to record time
stamps, for example for benchmarking.

SeaBIOS seems to have a clock implementation in `src/clock.c` already,
which is also used for threading, I guess. Could that be used for time
stamps too or is there something in SeaBIOS, that would cause problems?

I would like to know how much time, SeaBIOS takes to execute, how long
it takes for block devices to be discovered and how long the VGA option
ROM takes to be executed for example.

Thanks,

Paul

[Peter Stuge]

Paul Menzel wrote:
> I would like to know how much time, SeaBIOS takes to execute

tools/readserial.py

[Gerd Hoffmann]

Hi,
> SeaBIOS seems to have a clock implementation in `src/clock.c` already,
> which is also used for threading, I guess. Could that be used for time
> stamps too or is there something in SeaBIOS, that would cause problems?

Better checkout src/hw/timer.c, you probably want use timer_read() +
some TimerKHz math, then prefix each line with milliseconds-since-boot
or something like that.

cheers,
  Gerd