Re: [Trisquel-users] HDMI audio output not working.

[gustavo_cm]

Before kernels from non-official sources, one could try Linux-libre 3.5 by  
installing the package "linux-generic-lts-belenos" (and rebooting the  
computer).