Raspberry Pi Pulse Audio

[maronid]

For anyone interested, it seems that things work with an external interface and manual configuration of Jack