HDMI audio 出力

アナログ出力では音が出るのだが、HDMIケーブルで接続したデバイスからは音がでない。

試行錯誤した結果、システム設定からHDMI出力を選択するだけだった。

しょうもない。しかし、ネット検索してみて同じ悩みの人間がいかに多いか分かった。