[coreboot] HP dl145 g3

Ward Vandewege ward at gnu.org
Tue Aug 25 10:37:39 CEST 2009

On Tue, Aug 25, 2009 at 09:13:38AM +0200, samuel wrote:
> I'm using the port of the HP DL145 G3 on two machines quite succesfully.
> There is one single problem with it. If I do not boot the kernel with
> 'clocksource=tsc' the time on the machine runs at double speed.
> Do you want me to file a bug for this? Or is adding a cmdline option
> considered a good solution?

I think that should be considered a bug.


Ward Vandewege <ward at gnu.org>

More information about the coreboot mailing list