<p style="margin-bottom: 0in; line-height: 100%">Hello,<br></p><p style="margin-bottom: 0in; line-height: 100%">I noticed that all
Lenovo Thinkpads supported by coreboot have a SD card controller that
is connected as a PCI device. I assume that the controller runs
non-free firmware from its own ROM and because it is a PCI device it
should have DMA, which seems like a security risk, right?<br></p><p style="margin-bottom: 0in; line-height: 100%">If so, is there a
way to prevent the SD card controller from turning on when the
computer is booted, by changing some code in the source (maybe in
devicetree.cb) or at least to stop the controller from having DMA?<br></p><p style="margin-bottom: 0in; line-height: 100%">Thanks a lot,<br></p><p style="margin-bottom: 0in; line-height: 100%">Thomas<br></p><div><br></div>