hi @EriHoss and everyone.
to today someone could solve the problem of the audio HDMI??
i install @EriHoss retropie image, the emulation is very good, but I could not make the audio work.
I tried to use build_installer.sh script to build new kernel 4.19, but it does not work either (in a Ubuntu 18.04 VM with docker disable)
PD: Sorry my english