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

------------------------------------------------------------------------------
Everyone hates slow websites. So do we.
Make your web apps faster with AppDynamics
Download AppDynamics Lite for free today:
http://p.sf.net/sfu/appdyn_d2d_mar
_______________________________________________
Genode-main mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/genode-main

Reply via email to