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: [email protected] http://www.coreboot.org/mailman/listinfo/coreboot
