And you are right, the PCI resources do not show up. The resources of the PCI root device include
PCI: 00:18.0 resource base c0000000 size 10000000 align 28 gran 20 limit dff8 PCI: 00:18.0 resource base d0000000 size 4400000 align 26 gran 20 limit dfff0
These resources do not show up in the coreboot table either:
coreboot memory table: 0. 0000000000000000-0000000000000fff: CONFIGURATION TABLES
- 0000000000001000-000000000009ffff: RAM
- 00000000000c0000-000000002ffeffff: RAM
- 000000002fff0000-000000002fffffff: CONFIGURATION TABLES
- 0000000030000000-000000003fffffff: RESERVED
- 00000000e0000000-00000000efffffff: RESERVED
Wrote coreboot table at: 2fffe000 - 2fffe1bc checksum ba50
But does it really matter? There is now physical RAM only up to 40000000. Or is it going to be a problem if there is more than 3 GB RAM?
I'm worried that Linux will put something in the wrong place if it doesn't know what areas are used. It may not matter in practice, but as long as things are broken for you it's probably worth checking into.
Thanks, Myles