[SOLVED] HDMI audio not detected on Wandboard Quad Rev. C1

[enzeneer]

I am using the latest image available to download for the Wandboard:
$this->bbcode_second_pass_code('', '
# uname -a
Linux alarm 3.17.2-1-ARCH #1 SMP Fri Oct 31 18:48:47 MDT 2014 armv7l GNU/Linux
')

Monitor is 27-inch 1080p connected over HDMI. Display works great - out of the box at 1080p. However, the HDMI audio is not detected.
$this->bbcode_second_pass_code('', '
# aplay -l
**** List of PLAYBACK Hardware Devices ****
card 0: imxspdif [imx-spdif], device 0: S/PDIF PCM snd-soc-dummy-dai-0 []
Subdevices: 1/1
Subdevice #0: subdevice #0
card 1: imx6wandboardsg [imx6-wandboard-sgtl5000], device 0: HiFi sgtl5000-0 []
Subdevices: 1/1
Subdevice #0: subdevice #0

# cat /sys/class/drm/card0-HDMI-A-1/status
connected
')

With pepedog's help I was able to configure the audio over the analog port. It will be great if HDMI audio works as well. Is this an issue with the kernel? Or something else altogether? Do you need any more info to debug the issue?

Thanks.

[pepedog]

I notice your kernel is 3.17.2-1, whereas the repo is 3.17.2-4, are you up-to-date with pacman -Syu ?
If yes I suggest that the first partition of the sd card wasn't mounted as /boot when you updated, do this
$this->bbcode_second_pass_code('', 'mount /dev/mmcblk0p1 /boot
pacman -Sy
pacman -S linux-wandboard
sync
reboot')
This may or may not fix sound

[enzeneer]

Hi

After following those steps, my board did not detect the HDMI display at all. I thought maybe I made a mistake and went back to linux-armv7.

Then installed linux-wandboard again, but without mounting /boot. (BTW, the wandboard kernel is 3.10.17-4 and not 3.17.2-4.)

And lo and behold:

$this->bbcode_second_pass_code('', '
$ aplay -l
**** List of PLAYBACK Hardware Devices ****
card 0: imx6wandboardsg [imx6-wandboard-sgtl5000], device 0: HiFi sgtl5000-0 []
Subdevices: 1/1
Subdevice #0: subdevice #0
card 1: imxspdif [imx-spdif], device 0: S/PDIF PCM Playback dit-hifi-0 []
Subdevices: 1/1
Subdevice #0: subdevice #0
card 2: imxhdmisoc [imx-hdmi-soc], device 0: i.MX HDMI Audio Tx hdmi-hifi-0 []
Subdevices: 1/1
Subdevice #0: subdevice #0
')

So I reconfigured /etc/asound.conf as below:
$this->bbcode_second_pass_code('', '
cat /etc/asound.conf
pcm.!default {
type hw
card 2
device 0
}
ctl.!default {
type hw
card 2
device 0
}
')

And sweet music flows out of my HDMI monitor! Thanks a lot for your help. Will mark the question as solved.

So the key is to use the wandboard kernel and not the mainline armv7 kernel.