[Xen-users] ACPI HPET Timer - Works on standard Kernel - Broken on Xen Kernel

["Robert Dunkley" <Robert@xxxxxxxxx>]

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?

 

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 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-users mailing list
Xen-users@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-users