> 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?