i am using Linux version 3.10.17 on a similar Sabre lite board.
Using devicetree, setup similarly to sabre (equal for hdmi audio).
After boot, i see hdmi audio ASoC correctly setup.
bash-3.2# cat /proc/asound/cards
0 [cs42888audio ]: cs42888-audio - cs42888-audio
1 [imxhdmisoc ]: imx-hdmi-soc - imx-hdmi-soc
Now, if i try to play some wav, with
aplay -D hw:0,1 test.wav
no sound is played on the target device over HDMI cable.
There can be some kernel issue, but it is still possible i have some hw issue, so, is there any way i can check if the audio is generated ?