Um guia prático sobre como configurar corretamente o PulseAudio para saída de áudio via HDMI no Linux.