Answering myself: "Yes, it's possible indeed. To use HDMI output on Raspberry Pi, instead of the analog jack just type (in SSH) amixer cset numid=3 2 or sudo a

Answering myself: "Yes, it's possible indeed. To use HDMI output on Raspberry Pi, instead of the analog jack just type (in SSH) amixer cset numid=3 2 or sudo amixer cset numid=3 2 (without a USB DAC plugged in ) " http://www.raspyfi.com/forum/wish-list/hdmi-out-to-use-receiver-dac/#p463 http://www.raspyfi.com/forum/wish-list/hdmi-out-to-use-recei... Bits are bits - plug the hdmi into your receiver and you are done. Not sure why there is such a focus on USB dacs on the site...