Re: Device connected to HDMI port not detected.
There is onboard video (Intel integrated graphics media accelerator 3100) but as far as I know it is only VGA. I don't believe the gnome sound settings displayed the name of the GPU. I think it just said "HDMI." When I clicked on the test button, the window became unresponsive. I waited a long time and nothing happened so I rebooted. At which point, gnome failed to load and went into fallback mode. The sound settings dialog at that point shows nothing at all. I tried switching to KDE and that started fine and does show the built-in audio plus the HDMI audio although again it doesn't show the GPU name, just says "HDMI."