Dear Linux folks,
Connecting a USB Type-C port replicator [1] to the only USB Type-C port of the Dell XPS 13 9360 with Debian sid/unstable and Debian’s Linux kernel 6.10.5, and then connecting a Philips 40PFL5206H/12 TV device to the HDMI port, GNOME shows the HDMI sound device, but selecting it as output device, the TV does not play any sound. (Video display works.)
Using the same USB Type-C port replicator with the Google Chromebook Lenovo IdeaPad Duet, video and sound over HDMI work.
Using the same USB Type-C port replicator with the same Dell XPS 13 9360, but a Samsung TV, video and sound over HDMI also work.
Please found the output of `/sbin/alsa-info` from *alsa-utils* 1.2.10-1 attached.
Kind regards,
Paul
[1]: https://lmp-adapter.com/product/lmp-usb-c-mini-dock/?attribute_pa_color=silv... "LMP USB-C mini Dock (P/N 15954)"