On Sun, May 26, 2013 at 02:22:37AM +0100, Ben Hutchings wrote: > Control: tag -1 moreinfo > > Does enabling CONFIG_ACPI fix it? >
No. The computer does not support ACPI (nor APM) for the kernel. The kernel does not find usable hardware for ACPI: ACPI Error: A valid RSDP was not found (20110623/tbxfroot-219) ... ACPI: Interpreter disabled. ... pci 0000:00:01.3: [8086:7113] type 0 class 0x000680 * Found PM-Timer Bug on the chipset. Due to workarounds for a bug, * this clock source is slow. Consider trying other clock sources pci 0000:00:01.3: quirk: [io 0x1000-0x103f] claimed by PIIX4 ACPI pci 0000:00:01.3: quirk: [io 0x1400-0x140f] claimed by PIIX4 SMB ... pnp: PnP ACPI: disabled The linux source file "/drivers/clocksource/acpi_pm.c" says bug in the PIIX4 chips for a timer. -- Bjarni I. Gislason -- To UNSUBSCRIBE, email to debian-kernel-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/20130528194852.ga21...@rhi.hi.is
