Amazon.com: Mini DisplayPort to HDMI Adapter for Lenovo ThinkPad X1 Carbon 2nd Generation MiniDP to HDMI Adapter Compatible with MacBook Air/Pro Microsoft Surface Pro/Dock Projector and More 2-Pack : Electronics
Is your ThinkPad's USB-C port not working? Upgrade its firmware. - CNET
Lenovo ThinkPad X1 Carbon (Gen 10) First Impressions - Thurrott.com