On Fri, 2013-02-08 at 09:51 +0000, Ian Campbell wrote:
I've not been following this thread all that closely, what specifically should I be testing on Xen? Just starting a guest which uses pmtimer under latest SeaBIOS git and checking it works OK?
It's not merged yet; it's at http:// and git://git.infradead.org/users/dwmw2/seabios.git
Specifically commit 5ba80fac ("Add find_pmtimer() function") and 56014611 ("Use find_pmtimer() after copying Xen ACPI tables").
Previously, SeaBIOS wouldn't use the pmtimer for its own timing purposes unless it actually set it up for itself and created its *own* ACPI tables.
I've made it look through the ACPI tables which are provided to it by Coreboot/Xen/CSM and *find* the pmtimer there, and use it.
So with debug enabled you should see a line something like 'Using pmtimer, ioport 0xb008, freq 3579 kHz' and then lots of 'pmtimer: 0:16408743' as it actually gets read, and the debug statement in pmtimer_get() gets invoked.
And clock stuff should work correctly.