Raspberry Pi + RaspBMC + HDMI-CEC + Samsung TV (by gandapl)