Interrupts in L4Linux
norman.feske at ...1...
Wed Mar 20 14:37:53 CET 2013
> 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
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
More information about the users