0878login:Penguin垢版 | 大砲2019/11/06(水) 12:00:43.48ID:yR0Le29R https://www.mail-archive.com/debian-bugs-dist@lists.debian.org/msg1709059.html Bug#942803: No Sound HDMI with linux-image-5.3.0-1-amd64 sidの5.3.0-1カーネル使うと、HDMIオーディオの出力が選べなくなるバグがあるんですが、 同様の症状の方いらっしゃいますか? 単なるコンパイルミスなんでしょうか?