Hi all, when looking into Genodes driver support, I was wondering about DDE BSD. The audio_* ports seems to be its only use case. Is there any (technical) justification for not porting audio drivers from Linux using DDE Linux? With USB, WiFi and GMA there were much more complex driver ported using DDE Linux after all... Thanks! Cheers, Alex