[résolu] Problème de son avec HDMI

Bonjour,

Je pense avoir trouvé une régression dans la gestion du son à travers l’HDMI (pulseaudio).
En effet en changeant uniquement le noyau linux j’ai :
[ul]
[li]noyau linux 3.10 : le son fonctionne[/li]
[li]noyau linux 3.12 : aucun son[/li]
[li]noyau linux 3.13 : aucun son[/li][/ul]

Edit: trouvé ! En fait il fallait enlever la sourdine avec pavucontrol…