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

[PGNet Dev]

On 5/13/17 1:16 PM, Andrew Cooper wrote:
> We don't have code like that in upstream Xen.  No function with that
> name, or a string which looks like that error message.

noted

> http://marc.info/?l=linux-kernel&m=149464267427111&w=2 indicates that
> you are using a SuSE hypervisor.

yes, that's correct