[coreboot] HP dl145 g3

samuel samuel.verstraete at gmail.com
Tue Aug 25 09:13:38 CEST 2009


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?



More information about the coreboot mailing list