Interrupts in L4Linux

[Norman Feske]

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.

Cheers
Norman

-- 
Dr.-Ing. Norman Feske
Genode Labs

http://www.genode-labs.com · http://genode.org

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