> What I'm talking about is that pulseaudio is incapable of ever sending > audio to anything other than the default device/subdevice within a card, > irrespective of whether a cable is plugged in and signal being transmitted. ok, I am not sure I understand why there are several devices in the first place. Can you elaborate on what these 4 devices are? Can all these devices be used concurrently with different streams,ie up to 4 independent HDMI outputs/cables? Or is each device stereo only, and the hardware will multiplex channel pairs on the same HDMI link?
