To answer my own question. Xen
takes the hpet timer and hides it from Dom0 so this error is completely normal.
From:
xen-users-bounces@xxxxxxxxxxxxxxxxxxx
[mailto:xen-users-bounces@xxxxxxxxxxxxxxxxxxx] On Behalf Of Robert
Dunkley
Sent: 27 August 2008 15:21
To: xen-users list
Subject: [Xen-users] ACPI HPET Timer - Works on standard Kernel - Broken
onXen Kernel
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