I have recently acquired a Corebooted Lenovo ThinkPad T440p from minifree, and it is awesome except for two things:

- Fn in the lower left and Ctrl next to it, instead of Ctrl in the lower left. Oh well.
- No audio over HDMI. This is more than annoying and impedes our ability to enjoy movie night.

I thought it was maybe because I had an Apple miniDP->HDMI cable, so I bought a generic one, but it still doesn't work.

Audio settings recognize that there is an audio device on the HDMI port, but when I try to use it, mpv and vlc both just speed through the video with no audio output and mpv says "Audio underrun detected".

I'm finding surprisingly little about this on the web so far. I would have expected a distinguished old model like this to Just Work and failing that having a very well documented workaround to make it work.

I'm using Debian and KDE. Any ideas?

@clacke i had the audio issue too but forgot how it solved it.
@Jason_Dodd With coreboot or BIOS?
@clacke bios. coreboot has only been aspiratoinal for me up until now.
@Jason_Dodd That gives me hope that it's an easier thing to fix, just a setting or driver somewhere.
@clacke wish i kept notes i could find on my issue and how i solved it but i don't.
@Jason_Dodd Do you perhaps have some argument that looks something like snd-intel-hdmi=blah in grub.cfg or /erc/modules.d/* that you have forgotten about, but which is helping you to this day?
@clacke sorry, i didn't mention this but i no longer have the laptop. gave it to my step daughter. she paid someone to remove linux and install windows. probably and unlicensed version :(

> paid someone to remove linux and install windows

@Jason_Dodd The mind boggles.