Hi Marco,
When I perpared the altpci driver, I had tried to simplify the address translation between pci space and avalon space. I decided to use the same address mapping for both spaces, so that I don't have to add another address tables in drivers.
I checked your ptf and altpci.c .
Please update in the pci core toolbench, page 4, avalon config.
change the pci base address in the address translation table,
row 0, pci config space, pci base 0, == avalon 0x06000000 uncached to nios2 0x86000000
row 1, pci mem space, pci base 0x86100000, == nios2 0x86100000
row 2, pci mem space, pci base 0x86200000, == nios2 0x86200000
....
row 7, pci io space, pci base 0x86700000, == nios2 0x86700000
Note, we need to uncache the access for nios2, by setting address bit 31 .
Hope this will help.
Hippo