Thanks @emard , I was thinking of soldering headers to the board at some point to try a few peripherals like that
For HDMI audio I did see this repo, it is in SV but when I get a chance I'll try running it through sv2v and see if the output is workable with OSS toolchain:
https://github.com/hdl-util/hdmi
I would just try SPDIF but I don't think I have any equipment that accepts it