一套外设（键盘鼠标显示器）接多台电脑的方案？

我现在的办工作上，有 3 台主机，3-4 个显示器。

1 台 windows 办公主机； 2 个不同用途的 linux 服务器；
windows 主机接双显； 2 台 linux 原来是分别接独立的显示器，现在改成接 1 台显示器（ HDMI & VGA 口）；
当然，有 3 套鼠标键盘；

桌子上很乱。

看到有 HDMI 的分线器，

2 合 1 或者 n 合 1 的 HDMI 分线器；
通过分线器上的物理按键，来切换 HDMI source ；

不知道是否还有 usb 的分线器，

用一套 usb 鼠标键盘，通过切换不同的 usb 同路，来控制不同的电脑；

更有甚者，把 HDMI 和 usb 的分线器集成到一块。 这样就可以实现用一套外设，通过物理按键，分别控制不同的电脑。