HDMI audio on orangepi pc v 1.2

Pretty much what the subject says. How do you get audio output over hdmi? That is one thing I have never made work. I've followed several threads here on the forum, but nothing seems to work. Aplay -l only shows card 0. pavucontrol does not list hdmi ports. The only output seems to be momo out.

Thanks for any assistance.