I just installed barrier server on my raspberry pi and set up hotkeys to switch between 3 machines to send the input to, there is also an option to have the mouse continue out of the screen into the next screen monitor on a different computer which could be clever if using multiple monitors.