体調を崩しているので縮小更新で。 GPD PocketはHDMI出力ができるわけですが、Ubuntu17.10でカスタムカーネルを使ってもHDMIから音を出すのはすぐにはできません。 海外の掲示板で「Arch LinuxのALSA-lib 1.1.5を使うと出力できるよ」という記述を見つけて、…