HDMI-CEC works well with XBMC, I've been using the Pulse-Eight USB HDMI-CEC gadget to get this working on my Acer Revo. It is a little expensive, but it really does mean I can control *everything* with my TV remote. sn00p, how responsive is your HDMI-CEC setup on the Pi? Mine has a bit of lag but I can't figure out if it is the Sony TV, the Pulse Eight gadget, or something software related.