I did ask @spockfish if he could support HDMI output with RoPieee but received no response here:
RoPieee XL and HDMI output of RPi4 - especially multichannel
Harry I would be happy to donate (3rd or 4th donation of mine) for you to test with an AVR if that made it easier, if you don’t have access to an AVR?
Or is there a technical reason you can’t support it?