Setting screen resolution for HDMIPi
As part of my current set-up for my Raspberry Pi I am using the brilliant HDMIPi. This is billed as a “1280×800 Affordable Hi-Def HDMI screen for the Raspberry Pi”, but it could also be used for anything that outputs to HDMI.