lkml.org 
[lkml]   [2017]   [May]   [13]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
SubjectRe: [Xen-devel] HPET enabled in BIOS, not presented as available_clocksource -- config, kernel code, &/or BIOS?
From
Date
On 5/13/17 12:59 PM, Andrew Cooper wrote:
> Ok. Lack of a clocksource is to be expected.
>
> The reason why the HPETs are unavailable is that dom0 is not a position
> to program them; dom0 doesn't know what Xen has set up in the IDT.
>
> Use `xl dmesg` to get to the hypervisor dmesg log. You should see
> mention of the HPET in there if Xen has found it.

back to the error at hand ...

xl dmesg | grep -i hpet
[ 1.365876] hpet_acpi_add: no address or irqs in _CRS
[ 1.365876] hpet_acpi_add: no address or irqs in _CRS

again, only present when booting with Xen.

same kernel, no Xen, no such error.

\
 
 \ /
  Last update: 2017-05-13 22:05    [W:0.075 / U:0.212 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site