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

From: PGNet Dev
Date: Tue May 16 2017 - 20:12:40 EST