I found some more information on getting HDMI audio to my HDTV from my Gigabyte Z87N-wifi motherboard (using Mint Mate 16)
I have no idea what Pulse Audio is or how to do the instructions from the 2 links below :http://www.spinics.net/lists/linux-audi ... 93963.htmlhttp://www.spinics.net/lists/linux-audi ... 93964.html
> 00:03.0 Audio device: Intel Corporation Haswell HD Audio Controller (rev 06)
This is the HDMI output of the integrated GPU.
> 00:1b.0 Audio device: Intel Corporation Lynx Point High Definition Audio Controller (rev 04)
This is the HDA controller that the HDA codec (the ALC888S) is connected to.
Tell PulseAudio that you want to use the other card.
If you don't use PA, put the following into /etc/asound.conf:
user name: dennyinventura