On Tue, May 28, 2013 at 07:48:52PM +0000, Bjarni Ingi Gislason wrote:
> 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.
Can you send a full boot log for the kernel with CONFIG_ACPI enabled,
please?
Ben.
--
Ben Hutchings
We get into the habit of living before acquiring the habit of thinking.
- Albert Camus
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
