I have moved forward to the PCI part. Now coreboot can enumerate the
PCI devices but got some problems about allocating resources to the
As I know, on X86, the IO address space is below 0xffff  and the
memory address is from the top of address space (say, 0xffffffff)
down. Those resources for every PCI devices will be allocated by the
dev_configure function automatically.
But this is different on ARM. Every PCI device's memory address space
should be in a certain address space provided by CPU and IO address
space should be in another, like MMIO on X86. For my versatile PB
board, the address space is at here.
I tried some ways and talked with my mentor about it, but we didn't
find a way to tell dev_configure to allocate device's mem and IO
address in the certain address space.
Can you help me on this? I have searched the mailing lists and found
some information about the MMIO PCI I/O address space, but all of them
don't make a conclusion.