Interrupts in L4Linux

Norman Feske norman.feske at ...1...
Wed Mar 20 14:37:53 CET 2013

Hi Alexander,

> Hi! Tried doing that (already after writing the email),
> for some reason it failed to claim the config register
> region (0xcf8), digging the source code I found out it is due to
> region conflict. I was
> running a minimal configuration: timer, pci_drv and acpi utilizing pci_drv.

you must not start the PCI driver and the ACPI driver at the same time.
Just start the ACPI driver. It will spawn the PCI driver as a child
process. This would explain the conflicting access to the PCI ports.


Dr.-Ing. Norman Feske
Genode Labs ·

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

More information about the users mailing list