Hey there! I got to armbian just looking for the best distribution for Orange Pi Zero 3 and has been following the topic for some time. I was waiting for HDMI audio support and as long as it looks that there's no work ongoing for it I'm planing to try to add support for it. Any help or hints for achieving it are welcome! Thanks for the pretty impresive work done for this board and the dedication of the community.