Package: linux-image-4.0.0-2-amd64 Version: 4.0.8-2 Hi,
When I boot my computer, I choose Debian GNU/Linux with linux kernel 4.0.0.2. I tested hdmi sound on my desktop and it does not work. However, if I choose a previous version of linux kernel (like 3.16.0.4-amd64), this issue disappears and hdmi sound works properly. I wonder wheter this issue comes from the interaction between the new linux kernel and the free radeon driver that I use for my ATI graphic card. Kind regards, Etienne.
