It does exactly what I want: 4K at 60 Hz 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.
TESmart 1080P 60Hz USB VGA KVM Extender Over Cat5e Cat6 Ethernet Cable - Long Range 984ft/300m (Sender+Receiver)
10 Review
Enhance Productivity with CKL HDMI KVM 2 Port 4K 30Hz Dual Monitor Extended Display (CKL-922HUA)
10 Review
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
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
Computer case Deepcool Matrexx 55 MESH black
64 Review
MasterBox Q300L Micro-ATX Tower with Magnetic Dust Filter, Acrylic Side Panel, Adjustable I/O & Ventilated Airflow, in Black
40 Review
Computer case be quiet! Pure Base 500 black
32 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