-
@whitequark @naehrdine @WIRED Nice - thanks for the link! And I was wrong. It turns out that I actually use Thunderbolt, at least in the sense that disabling it in UEFI Setup makes my USB3 ports unusable for pretty much everything :( That means I'll now look more into IOMMU and TPM integration...