search for: hpet_resources

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...

...ot video device is 0000:01:05.0 PCI: Setting latency timer of device 0000:00:04.0 to 64 PCI: Setting latency timer of device 0000:00:05.0 to 64 pci_hotplug: PCI Hot Plug PCI Core version: 0.5 ACPI: duty_cycle spans bit 4 ACPI: CPU0 (power states: C1[C1] C2[C2] C3[C3]) Real Time Clock Driver v1.12ac hpet_resources: 0xfed00000 is busy Non-volatile memory driver v1.2 Linux agpgart interface v0.101 (c) Dave Jones Serial: 8250/16550 driver $Revision: 1.90 $ 4 ports, IRQ sharing enabled serial8250: ttyS0 at I/O 0x3f8 (irq = 4) is a 16550A serial8250: ttyS1 at I/O 0x2f8 (irq = 3) is a 16550A 00:05: ttyS0 at I/O 0x...

...ot video device is 0000:01:05.0 PCI: Setting latency timer of device 0000:00:04.0 to 64 PCI: Setting latency timer of device 0000:00:05.0 to 64 pci_hotplug: PCI Hot Plug PCI Core version: 0.5 ACPI: duty_cycle spans bit 4 ACPI: CPU0 (power states: C1[C1] C2[C2] C3[C3]) Real Time Clock Driver v1.12ac hpet_resources: 0xfed00000 is busy Non-volatile memory driver v1.2 Linux agpgart interface v0.101 (c) Dave Jones Serial: 8250/16550 driver $Revision: 1.90 $ 4 ports, IRQ sharing enabled serial8250: ttyS0 at I/O 0x3f8 (irq = 4) is a 16550A serial8250: ttyS1 at I/O 0x2f8 (irq = 3) is a 16550A 00:05: ttyS0 at I/O 0x...

OK, so after several weeks of trying to get various versions of Xen running of various distributions, I''m starting to wonder if I''ve got a hardware compatibility problem and as the system never really boots with the Xen kernel I''ve got no log files to tell me where the problem is. I was wondering if there''s a way to compile from source with debug turned on,

...: Setting latency timer of device 0000:00:1c.4 to 64 [ 1.003301] assign_interrupt_mode Found MSI capability [ 1.003301] Allocate Port Service[0000:00:1c.4:pcie00] [ 1.003301] Allocate Port Service[0000:00:1c.4:pcie02] [ 1.003301] Allocate Port Service[0000:00:1c.4:pcie03] [ 1.004609] hpet_resources: 0xfed00000 is busy [ 1.004667] Linux agpgart interface v0.103 [ 1.004724] Serial: 8250/16550 driver $Revision: 1.90 $ 4 ports, IRQ sharing enabled [ 1.005031] pnp: the driver ''serial'' has been registered [ 1.005158] ACPI: PCI Interrupt 0000:00:03.3[B] -> GSI 17 (le...

...: Setting latency timer of device 0000:00:1c.4 to 64 [ 1.003301] assign_interrupt_mode Found MSI capability [ 1.003301] Allocate Port Service[0000:00:1c.4:pcie00] [ 1.003301] Allocate Port Service[0000:00:1c.4:pcie02] [ 1.003301] Allocate Port Service[0000:00:1c.4:pcie03] [ 1.004609] hpet_resources: 0xfed00000 is busy [ 1.004667] Linux agpgart interface v0.103 [ 1.004724] Serial: 8250/16550 driver $Revision: 1.90 $ 4 ports, IRQ sharing enabled [ 1.005031] pnp: the driver 'serial' has been registered [ 1.005158] ACPI: PCI Interrupt 0000:00:03.3[B] -> GSI 17 (level, low)...