If you're looking for a KVM device, you already know what you're looking for. The Arkidyn KVM 4K HDMI Switch for 2 PCs/Devices works as advertised. Note that a 4k connection depends heavily on an HDMI cable being able to transmit 4k (not all, but the latest cables are). I've been using it for over a month and no problems. The desktop controller switch is handy enough as it has already been noted that there is no hotkey switch on this computer (due to 4k compatibility).
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
Enhance Productivity with CKL HDMI KVM 2 Port 4K 30Hz Dual Monitor Extended Display (CKL-922HUA)
10 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
TESmart 1080P 60Hz USB VGA KVM Extender Over Cat5e Cat6 Ethernet Cable - Long Range 984ft/300m (Sender+Receiver)
10 Review
💻 SAMSUNG T7 500GB Portable SSD - High-Speed USB 3.2 External Solid State Drive for Fast Data Transfer - Red Color (MU-PC500R/AM)
5 Review
SAMSUNG Portable SSD 500GB MU PC500H
5 Review
📦 LaCie Rugged Mini 2TB External Hard Drive | Portable HDD - USB 3.0/2.0 Compatible, Drop-Shock, Dust, and Rain Resistant Shuttle Drive | For Mac and PC | LAC9000298
8 Review
ABLEWE KVM Switch HDMI 2 Port Box - Share 🔀 Keyboard, Mouse, Printer, and HD Monitor between 2 Computers, UHD 4K@60Hz Support
8 Review