[pulseaudio-discuss] [PATCH 0/3] Read HDMI ELD info and set a port property

[Pierre-Louis Bossart]

> There's a bummer though. On the one machine I've tested this, the ELD is not
> immediately available, so hotplugging doesn't work. It also looks like there's no
> event being sent out from the kernel when ELD has become available, so we probably
> need to add some kind of timer - but I'm not sure exactly what time ranges should
> work for all machines. Pierre, do you know?

Trying rebooting with the HDMI cable plugged and see if this works. I 
know my IbexPeak hardware only detects HDMI at boot, probably some BIOS 
issue. Fengguang might be able to help?