[coreboot] HP dl145 g3

2009-08-25 Thread samuel 
Hey,

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?

gr,

S.

-- 
coreboot mailing list: coreboot@coreboot.org
http://www.coreboot.org/mailman/listinfo/coreboot

Re: [coreboot] HP dl145 g3

2009-08-25 Thread Ward Vandewege 
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