> What does the EDID contain when there is an HDMI output but cable is
not plugged in?

On devices with physical HDMI output get-edid return nothing (because no 
devices HDMI is attached).
On devices without HDMI output, such as Lenovo Miix2 8, EDID contain this:

[    5.431895] i915 0000:00:02.0: HDMI-A-2: EDID is invalid:
[    5.431902]  [00] ZERO 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
[    5.431904]  [00] ZERO 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
[    5.431906]  [00] ZERO 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
[    5.431908]  [00] ZERO 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
[    5.431910]  [00] ZERO 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
[    5.431912]  [00] ZERO 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
[    5.431914]  [00] ZERO 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
[    5.431916]  [00] ZERO 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00

> It would seem more appropriate to do that already in the kernel,
though.

So I should fill separate report here, at freedesktop, or at kernel's
bugzilla? Which component I should choice?

-- 
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1773167

Title:
  [Intel HDMI LPE driver] Audio is not working; pulseaudio consumes 100%
  of a single CPU core

To manage notifications about this bug go to:
https://bugs.launchpad.net/pulseaudio/+bug/1773167/+subscriptions

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

Reply via email to