I found the solution; it turned out that the volume control had an extra tab off the right hand edge of the window called Configuration, which has the option of selecting HDMI sound output.
3 Likes
I found the solution; it turned out that the volume control had an extra tab off the right hand edge of the window called Configuration, which has the option of selecting HDMI sound output.