[Larry] is doing this with a few fairly specialized bits of hardware. The first is a Thunderbolt to ExpressCard/34 adapter, after that an ExpressCard to PCI-E adapter. Couple that with a power ...

a DVI-to-HDMI adapter cable is used to connect the video. The audio must be cabled separately as DVI transfers only video. The HDMI circuit detects the DVI signals and switches to the DVI protocol.