Hi, I have installed Arch linux on my herobox. However, I am not given an option to select HDMI as the sound output. By default all the disributions of linux I tried did not work properly with the sound card and only offered a “dummy output” unless I intalled the sof-firmware package. This also happens with Mint (Ubuntu).
Is there any way to get HDMI audio output? Did you do anything special to the packged Ubuntu to address this?