Hello, Sirs.
I agree with s4ndm4n: but it’s my fault, because since the beginning I had not quite understood it’s a kernel problem.
And then working in a hurry, I mistakenly tought the problem DOES persist, regardless of the Linux installation.
So I’ve now understood and tested that:
- Kernel ‘5.15.96.61.realtime1-1-rt-lts’ works well;
- both kernels ‘linux-lts 6.1.15-1’ and 'linux 6.2.2.arch1-1’ fail with audio via HDMI;
- both kernels ‘linux-lts 6.1.15-1’ and 'linux 6.2.2.arch1-1’ are OK when audio is via headphone cable, as well as via bluetooth.
Therefore now I’m going to close this thread, and open a new one, more correct.
Thanks for Your attention,
Piero