On 20 May 2010 14:40, Bill Cumming <b...@s0l.co.uk> wrote: > Since it's the BIOS, think you have to wait till you get hands on the box to > check. >
The output is configurable with pulseaudio. Click the speaker icon in the notification area, choose Sound Preferences, click the output tab, click the drop down next to 'Connector', and choose the right audio output, which should have HDMI in the name. That should be it. Cheers, Al. -- ubuntu-uk@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-uk https://wiki.ubuntu.com/UKTeam/
