ARM and PCI?

Hi, do you know what remains to be done to use PCI on ARM (e.g. Realview in qemu) with L4Re and IO? I guess that io needs some changes to support PCI-IO-Ports mapped into memory. Or should that already work? Cheers, Stefan