Od dłuższego czasu miałem problem z przesyłaniem dźwięku przez hdmi i dowiedziałem się o czymś takim.
Mi pomogło: https://github.com/hhfeuer/nvhda
#!/bin/bash
git clone https://github.com/hhfeuer/nvhda.git
cd nvhda
make
sudo make install
sudo modprobe nvhda
sudo tee /proc/acpi/nvhda <<<ON
echo "options nvhda load_state=1" | sudo tee /etc/modprobe.d/nvhda.con
Może komuś się przyda.