This new add-on board for the Raspberry Pi gives you an HDMI Input