[9fans] raspberrypi audio

[Christophe DAMAS]

Hello,

I use 9pi image on raspberry pi (B+). 
Is there somewhere a driver for audio via HDMI  ?

Christophe