here’s the solution i used for Debian-based distros (Armbian, Ubuntu, etc.). haven’t messed with Android, but it’s worth a shot.
open terminal and enter these commands:
sudo add-apt-repository ppa:pipewire-debian/pipewire-upstream
sudo apt install pipewire pipewire-audio-client-libraries gstreamer1.0-pipewire libpipewire-0.3-{0,dev,modules} libspa-0.2-{bluetooth,dev,jack,modules} pipewire{,-{audio-client-libraries,pulse,media-session,bin,locales,tests}} -y
systemctl --user daemon-reload
systemctl --user --now disable pulseaudio.service pulseaudio.socket
systemctl --user --now enable pipewire pipewire-pulse
you can use ‘pactl info’ and if you see “Server Name: PulseAudio (on PipeWire 1.0.0)” everything should work. now just reboot and go to sound settings ‘pavucontrol’, one of the outputs should be HDMI