Amazon.com: ATEN 2-Port USB 4K HDMI Cable KVM Switch with Remote Port Selector CS22H (up to 4096 x 2160 @ 60Hz, HDCP 2.2) for Windows, Mac, Linux - One KVM Console Controls
ATEN VC980 Mini DisplayPort to HDMI Adapter
ATEN KA7168 HDMI USB Virtual Media KVM Adapter Cable with Smart Card Reader | eBay