As mentioned earlier, the fact that I can see the Ubuntu logo on boot (on the external monitor connected trough HDMI) gives me the impressions that the OS can actually see that monitor... but then something happens and it's not available anymore...
I've attached the complete "dmesg" after having just booted the pc.
Here instead is only some of it:
'dmesg | egrep -i "radeon|hdmi|vga"'
[ 1.590203] vgaarb: device added: PCI:0000:00:02.0,decodes=io+mem,owns=io+mem,locks=none
[ 1.590211] vgaarb: device added: PCI:0000:01:00.0,decodes=io+mem,owns=none,locks=none
[ 1.590215] vgaarb: loaded
[ 1.590216] vgaarb: bridge control possible 0000:01:00.0
[ 1.590217] vgaarb: no bridge control possible 0000:00:02.0
[ 2.550675] [drm] radeon defaulting to kernel modesetting.
[ 2.550678] [drm] radeon kernel modesetting enabled.
[ 2.550694] VGA switcheroo: detected switching method \_SB_.PCI0.GFX0.ATPX handle
[ 2.550743] radeon 0000:01:00.0: power state changed by ACPI to D0
[ 2.550748] radeon 0000:01:00.0: power state changed by ACPI to D0
[ 2.550754] radeon 0000:01:00.0: enabling device (0000 -> 0003)
[ 2.550763] radeon 0000:01:00.0: PCI INT A -> GSI 16 (level, low) -> IRQ 16
[ 2.550770] radeon 0000:01:00.0: setting latency timer to 64
[ 4.189154] radeon 0000:01:00.0: VRAM: 512M 0x0000000000000000 - 0x000000001FFFFFFF (512M used)
[ 4.189157] radeon 0000:01:00.0: GTT: 512M 0x0000000020000000 - 0x000000003FFFFFFF
[ 4.189369] [drm] radeon: 512M of VRAM memory ready
[ 4.189372] [drm] radeon: 512M of GTT memory ready.
[ 4.189463] radeon 0000:01:00.0: irq 43 for MSI/MSI-X
[ 4.189468] radeon 0000:01:00.0: radeon: using MSI.
[ 4.189508] [drm] radeon: irq initialized.
[ 4.196104] radeon 0000:01:00.0: WB enabled
[ 4.212789] [drm] radeon: ib pool ready.
[ 4.213278] [drm] Radeon Display Connectors
[ 4.213291] [drm] HDMI-A
[ 4.213300] [drm] VGA
[ 4.213479] [drm] radeon: power management initialized
[ 4.348268] fb0: radeondrmfb frame buffer device
[ 4.348275] [drm] Initialized radeon 2.12.0 20080528 for 0000:01:00.0 on minor 0
[ 4.361572] vga_switcheroo: enabled
[ 4.361603] radeon atpx: version is 1
[ 4.361623] vgaarb: device changed decodes: PCI:0000:01:00.0,olddecodes=io+mem,decodes=none
wns=none
[ 4.361626] vgaarb: device changed decodes: PCI:0000:00:02.0,olddecodes=io+mem,decodes=none
wns=io+mem
[ 5.098897] [Firmware Bug]: Duplicate ACPI video bus devices for the same VGA controller, please try module parameter "video.allow_duplicates=1"if the current driver doesn't work.
[ 27.965177] HDMI status: Codec=0 Pin=3 Presence_Detect=0 ELD_Valid=0
[ 27.965271] input: HD-Audio Generic HDMI/DP,pcm=3 as /devices/pci0000:00/0000:00:01.0/0000:01:00.1/sound/card1/input11
I'd be curious to know if anyone can spot anything suspicious here.
Thanks,
Andrea