On 13/05/2017 20:28, Randy Dunlap wrote: > On 05/13/17 11:26, PGNet Dev wrote: >> On 5/13/17 10:41 AM, Randy Dunlap wrote: >>> [adding HPET driver maintainer] >> Thanks >> >>> A couple of comments below... >>>> In BIOS, HPET's enabled. >>> How about if you just boot Linux without Xen? Does HPET show up then? >> yes, it appears so: >> >> cat devices/system/clocksource/clocksource0/available >> tsc hpet acpi_pm > Adding xen mailing list: > > Is HPET support a known issue in Xen?
What is the issue here? Xen owns (and may use) any HPETs in the system. They are purposefully unavailable to even dom0. ~Andrew
