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. Thanks, Ward. -- Ward Vandewege <w...@gnu.org> -- coreboot mailing list: coreboot@coreboot.org http://www.coreboot.org/mailman/listinfo/coreboot