Re: [Xen-devel] FW: ACPI HPET Timer - Works on standard Kernel - Broken on Xen Kernel

[Keir Fraser <keir.fraser@xxxxxxxxxxxxx>]

Xen takes the HPET for itself, so it’s not available to dom0 kernel (nor is it emulated).

 -- Keir

On 28/8/08 08:28, "Robert Dunkley" <Robert@xxxxxxxxx> wrote:

Sorry to have to send this to the dev list but no one in the user list seems to know the answer and Google turned up nothing at all.

I have an error in my dmesg system log about hpet not correctly enabling:
hpet_acpi_add: no address or irqs in _CRS
 
The same kernel without Xen enables it fine:
hpet0: at MMIO 0xfed00000 (virtual 0xffffffffff5fe000), IRQs 2, 8, 31
hpet0: 3 32-bit timers, 25000000 Hz
hpet_resources: 0xfed00000 is busy
 
Do I have to pass an additional boot option? (ACPI is already enabled) or is there something wrong with my Xen Kernel build? Anyone have any idea why the Xen kernel would break hpet support? (I’m using default Centos 5.2 kernel and 3.2.1 stable)

Thanks,
 
Rob

The SAQ Group
Registered Office: 18 Chapel Street, Petersfield, Hampshire GU32 3DZ
SEMTEC Limited Trading as SAQ is Registered in England & Wales
Company Number: 06481952
 
http://www.saqnet.co.uk <http://www.saqnet.co.uk/>  AS29219
SAQ Group Delivers high quality, honestly priced communication and I.T. services to UK Business.
DSL : Domains : Email : Hosting : CoLo : Servers : Racks : Transit : Backups : Managed Networks : Remote Support.

Find us in http://www.thebestof.co.uk/petersfield
 

---

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-devel

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-devel