Re: Interrupts in L4Linux

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