There are plenty of HDMI displays, but if you want a smaller size it become more complicated although some 7″ HDMI displays are available. However, if you
Source: [Archive.is] DFRobot 7″ HDMI Display with Touchscreen Sells for $69
Via: [Archive.is] 7″ HDMI touchscreen display with mounting holes for +Raspberry Pi board. – Jean-Luc Aufranc – Google+
–jeroen