pulse

pulseaudio関係のアプリを導入すれば、以外にかんたんにサウンドを出力できる。USB TypeC ケーブル一本でゼツ属しているモバイルディスプレイも同様だ。