[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Xen-devel] HPET enabled in BIOS, not presented as available_clocksource -- config, kernel code, &/or BIOS?

On 5/13/17 12:38 PM, Andrew Cooper wrote:
> What is the issue here?
> Xen owns (and may use) any HPETs in the system.  They are purposefully
> unavailable to even dom0.

The issue is that, when booting to Xen, hpet is not advertised as an available 
clocksource, AND reports the hpet boot error pointed out by Randy.



there's discussion there re: 'if HPET is available / not missing'.

It appears to be available only booting to non-Xen.

What specific indication does one look for that Xen's using available hpet?

Xen-devel mailing list



Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.