(This is a very simple problem)
I was looking at buying a PicoVision, and it has HDMI and a 3.5mm audio jack, but can the HDMI send audio over it too?
From the product page description :
Our software doesn’t support audio output over HDMI, but if you’re brave and want to attempt passing I2S audio data from the CPU (or the PSRAM buffers!) to the DV connector, the board is wired to support this.
So it doesn’t, unless you really know what you’re doing with the hardware.