A friend of mine has built a little raspberry-pi-laptop with an internal HDMI switch and a USB device-sharing gizmo, so he can use it as a portable KVM for sysadmin tasks. I wish that was more common!