The Raspberry Pi Pico is a low-power MCU used to:
I used a MAX4314 video switch to switch between the four input sources: