Dear all, I'm having problems with a brand new Raspberry Pi, running Raspbmc (compile date Nov 20th). When connected to my one month old Onkyo TX-NR515 AV receiver, HDMI output stops working for about 1 second when the video output changes (update of the clock, navigating menu's, etc). The Onkyo receiver is connected through HDMI (ARC and CEC is enabled) to a Philips 42PFL7606H from last year. Connecting the RPi directly to the TV gives no problems, however pass-through DTS audio etc. does not work in that case. My 2008 MacBook Pro is also connected with the Onkyo receiver, from Mini DisplayPort to HDMI. This has always worked fine, and it still does. I have tried every HDMI input on the receiver, all with the same problem. Different HDMI cables don't matter either. Changing various HDMI compatibility settings on the RPi doesn't help either (I might miss something here, of course!). Searching for this problem has not given me any solutions. Even if searched without mentioning Onkyo and RPi for the most general results, no solutions. I updated the Onkyo to the latest firmware version, didn't make any difference. I'm really puzzled what to do next, I feel like I've tried everything and that the Onkyo might be broken or malfunctioning at least. I appreciate any help and new insights into solving the problem. If any more information is required, I'm able to provide all info.