Comment by gambiting

The easiest solution is to just buy an HDMI switch(there's loads of them, even ones which work with 4K signal, and they don't disrupt DHCP) and a USB switch. Total solution should fit in about 40-50 dollars.