<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Sun, Jan 25, 2015 at 2:04 PM, Hika van den Hoven <span dir="ltr"><<a href="mailto:hikavdh@gmail.com" target="_blank">hikavdh@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hoi Hika,<br>
<div><div class="h5"><br>
Sunday, January 25, 2015, 7:55:24 PM, you wrote:<br><br>
</div></div>You  might also have to set something like below as boot parameters on<br>
your videodriver:<br>
<br>
modeset=1 video=HDMI-0:e<br>
<br>
Where  e  stands  for enable and d for disable. For the naming of your<br>
ports you have to look in dmesg. They differ a bit for every card.<br>
<div class="HOEnZb"><div class="h5"><br></div></div></blockquote><div><br></div><div>Thanks Hika.  Just putting in the modeset/video got me to the point  where I have HDMI output after boot.  While looking in dmesg for the port name, I saw a bunch of errors saying the EDID checksum is invalid, which I'm guessing is why it decided not to activate the port.</div><div><br></div><div>At least I'm not at a dead end now.  Now to investigate that error.  If there's not an easy fix, there's surely a way for me to get the EDID info by connecting directly to the TV and then using that to force the configuration when connecting through the receiver.</div><div><br></div><div>-Jerry</div></div></div></div>