Hi, Unsure if appending to the 4.13 announcement email was cool, so here's a separate thread.
I was using coreboot for a while, but then discovered that something about it was not accessing hidden PCI devices correctly (not enough expertise to figure out what).
In my particular case, I'm adding a Thunderbolt controller to an unsupported system. The process for waking it up / unhiding it involves poking an extended capability register of the device while it is still hidden, via the EFI shell.
This works fine on stock BIOS + shell, but never worked in coreboot / Tianocore so unfortunately I had to give up using coreboot.
Given the "hidden PCI device" change from the 4.13 release notes, should I expect that my use-case may work now? The notes talk about a specific device, but I'm unsure if all hidden devices are treated the same way.
Cheers, R