VALUE HDMI / Mini DisplayPort/ DisplayPort to HDMI Switch - SECOMP International AG
Video Switch - HDMI / DisplayPort - 4K60 - Video Switchers | StarTech.com
C2G HDMI USB-C, Mini DisplayPort, and VGA to HDMI Adapter 40850
D4CBL-DP-HDMI - Raritan 6ft DisplayPort to HDMI Cable (4K UHD)
Amazon.com: KVM Switch, Displayport & HDMI 2-Port Switcher for 2 Computers Share 1 Monitor and 4 USB 2.0 Devices, 2 DP Input and 1 HDMI Output, One Key to Switch, with All Needed Cable : Electronics
HDMI DisplayPort DP USB Dual Monitor KVM Switch Box 2X2 4K@60Hz for PC Laptop | eBay