On Fri, Dec 20, 2019 at 08:50:14AM +0000, Nicholas Johnson wrote: > Mika, what would you have written if you had to do this? Heh, I'm not the best person to ask :) Something like below maybe? Improve PCI resource allocation on systems with Thunderbolt add-in-card but no support from BIOS side. I think that's what your series is about.
