Or a HDMI switcher and switch between your main PC and an (easily hideable) Raspberry Pi.