E6500 Audio over HDMI in Linux

You might address this question to the Linux Board. Here is what has been posted about HDMI audio  on the Laptop Audio Board, but as far as I know it has all been with Windows as the OS.

*******************************************************************************************

from the  Dell Technology Guide:
1 Turn off the computer and TV.
2 Connect the computer and TV.
3 Then turn the TV on. Adjust its setting to receive HDMI audio.
4 Next, turn on the computer to allow it to detect the connection to the TV.
5 Go to Start>Control Panel>Sound>Playback tab. Select the HDMI device as the default device. Click the Set Default button, and then click OK.

********************************************************************************************

HDMI uses its own audio driver separate from the Sigmatel, IDT, or Realtek audio system of the computer. It is actually included in the graphics card's driver so first make sure you have the current version of your graphics card driver.

Next, look in the Device Manager and if you see "Audio device on high definition audio bus" with an exclamation mark, you need to update it. Right click on it, and point it to the HDMI folder of the graphics card..The path will vary depending on the name of your graphics driver but should be something like:
C:\dell\drivers\R199173\HDMI
C:\dell\drivers\R207162\HDMI (GM945/965)
C:\dell\drivers\R180254\HDMI  (GM965 on an Inspiron 1525)

Several forums members have posted this tip, about laptops models Inspiron 1525 and  Latitudes E4200, E4300, & E6400.

****************************************************************************************************

Forum member hmthomas1 wrote (about a Studio 153x):
What I found was that when I restarted whatever program (websited or audio source) it would come out through the tv. If I didn't restart it my sound control would show the hdmi default but no audio indicator on the bar levels next to the source icon. I kept thinking it wasn't working but upon restart, it did.

*****************************************************************************************************

Forum member camikins wrote (about an Inspiron 10 Mini with Intel graphics):

Turn on computer with HDMI plugged in
Go to control panel -> sound / audio. This opens the Sound & Audio Device Properties window.
Go to Audio Tab. Sound Playback likely reads 'Realtec HD'.
Unplug the HDMI cable from the computer. Wait 5 or 10 seconds and plug back in.
Now in the same Sound Playback dropdown you'll hopefully see HDMI Device. Select that, and click Apply.
Now, you should have audio going through to your TV.

*****************************************************************************************************

Forum member by pauline_hill wrote (about a Studio XPS 1640 with ATI graphics, not Intel):

> Install or update to the current ATI graphics driver( 8.603.1.0000, R219810)
> In Device Manager, "update" the driver except use the option to "select from a list of available drivers"
> Select the High Definition Audio. You will see a warning but click 'install' anyway.
> Reboot