PulseAudio module for Android. The PulseAudio repository lives at https://gitlab.freedesktop.org/pulseaudio/pulseaudio.