Hi,

Breaking this out from my other email for title clarity purposes, hope that's ok.

Anyway, I think my issue comes down to coreboot not being able to access (?) PCI extended registers in the current setup.

I guess this is a general question: CAN coreboot access the extended capabilities registers of PCI devices? If yes, are there any special options that need to be set or adjusted during the build?

I've attached a "pci -i" dump from the EFI shell for my device on stock BIOS vs coreboot - as one can see, the coreboot log ends before outputting any of the extended registers whereas the BIOS log dumps the full config space.

Any ideas for what I could try here, or reasons why it might not (be expected to) work?

Cheers,

R