This still requires a dedicated monitor connection to each box with a hardware or source switch, right? Or a screen per device? That is, the KVM (in the VGA days) used to switch the mouse, keyboard, and video source so a single monitor, keyboard, and mouse switches across devices. But barrier doesn't try to solve that part, I think. Modern HDMI KVM hardware switches seem rather expensive; anyone found a good way to "…
There is also a utility that watches for usb device change events on a cheap USB keyboard/mouse (no video) switcher that does the video automatically, but I had it lock up the usb stack on my Linux machine and never really got it to work reliably enough.
I use one of the cheap usb KM switches and changing the input on the monitor manually. Still kind of sucks, but better than nothing.