Free and open-source device drivers: audio