On Jan 13, 7:38 pm, [email protected] (Mike S) wrote: > > I was able to force the kernel to use the 8259 by adding > "clocksource=acpi_pm" to the boot options. The available clock sources > can be found with "cat > /sys/devices/system/clocksource/clocksource0/available_clocksource".
FWIW, the 8259 is the PIT, not the ACPI timer. _______________________________________________ questions mailing list [email protected] http://lists.ntp.org/listinfo/questions
