It does exactly what I want: 4K at 60Hz and sound. I tried several other KVMs that didn't work. There was a Revain Answers question about keyboard shortcuts for switching etc: I don't know.
CKL 4 Port KVM Switch Dual Monitor DisplayPort 4K 60Hz: Unprecedented Multi-Computer Control with Audio, USB 2.0 HUBS, and DP 1.2
11 Review
CKL Quad Monitor HDMI KVM Switch 4 Port 4K@30Hz with Cables - Extended and Mirrored Display Support for Windows, Linux, and Mac
11 Review
NEWCARE HDMI KVM Switch: 4K@60Hz, 2x1 HDMI2.0 Ports + 3X USB KVM Ports - Share 2 Computers on UHD Monitor, with Wireless Keyboard and Mouse Support - USB Disk, Printer, USB Camera Compatible
10 Review
4 Port USB 3.0 Switch Selector - Pubioh KVM Switch for Mouse, Keyboard, Printer, Scanner - 2 in 4 Out Sharing Box with Switch Button and 2 USB 3.0 A to A Cables
11 Review
MasterBox Q300L Micro-ATX Tower with Magnetic Dust Filter, Acrylic Side Panel, Adjustable I/O & Ventilated Airflow, in Black
40 Review
Zalman Z3 M ATX π» Tower Computer: A Compact and Powerful Machine
77 Review
Fractal Design Node 304 - Black - Mini Cube Compact Computer Case - Small Form Factor - Mini ITX β mITX - Enhanced Airflow - Modular Interior - Includes 3x Fractal Design Silent R2 120mm Fans - USB 3.0
42 Review
Computer case Deepcool Matrexx 55 MESH black
64 Review