Hi @jbruno ,
Unfortunately we have limited knowledge on this topic, given that the questions are specific to ALSA and Audio Mixing in Linux as a whole.
From what I can tell your suggestions seem like good starting points. If you plan on using PulseAudio you will probably need to build a custom version of our BSP reference images that includes it, so I’d first check the virtual card alternative.
Best regards,
Lucas Akira