Re: [coreboot] Thinkpad SD card controller DMA

[Thomasheidler via coreboot]

Sounds like disabling the PCIe port of the device is the safest solution. Will 
switching the value in the devicetree be enough or is that too uncertain?

-- 
coreboot mailing list: coreboot@coreboot.org
https://mail.coreboot.org/mailman/listinfo/coreboot