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

[Gerd Hoffmann]

On Tue, Mar 10, 2020 at 11:36:58AM -0400, Kevin O'Connor wrote:
> 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.

Pushed now.

cheers,
  Gerd