HDMI Sound not coming from the TV

@GiomT  On an XPS 13 the HDMI audio would be provided by the Intel GPU, so it would be part of the Intel Graphics drivers. You could try updating those and maybe installing a BIOS update if one is available. To see the device itself, open Device Manager and go to “Sound and video devices” (or whatever that name is) and make sure you have one called Intel Display Audio. If so, then you have the right driver. In that case, my next question would be whether the adapter you have is confirmed to carry audio. If so, then while I was typing this I remembered that on my old XPS 15 9530, HDMI audio never worked when I had Hyper-V enabled. It was a widely reported driver issue with the particular Intel GPU in that system and I don’t think it was fixed. The device showed up properly but never carried audio, unless I booted Windows using a custom boot flag to completely disable the Hyper-V hypervisor. But that was an older system before USB-C, so that probably isn’t it for you.