[SeaBIOS] Re: [PATCH v2 1/4] timer: add tsctimer_setfreq()

[Kevin O'Connor]

On Tue, Mar 10, 2020 at 11:22:45AM +0100, Gerd Hoffmann wrote:
> Add function to set tsc frequency directly, without calibration.
> Also tweak timer setup functions a bit: skip setup in case TimerPort
> has not the default value any more, i.e. another timer has been setup
> already.
>
> Signed-off-by: Gerd Hoffmann

The series looks good to me.

-Kevin