[coreboot] Re: How to access the PCIE device registers at an early stage of coreboot booting?

[Felix Held]

Hi!

This might be worth a look: 
https://review.coreboot.org/c/coreboot/+/19820/10/src/mainboard/asus/kgpe-d1...

Regards
Felix