On Mon, Apr 22, 2019 at 01:48:52PM +0200, pelzflorian (Florian Pelz) wrote: > As before, when I do not specify modprobe.blacklist=radeon, the > display gets stuck with > > [ 8.679377] fb0: switching to radeondrmfb from EFI VGA > > Before, I could add modprobe.blacklist=radeon to boot to a console. >
When I boot the Debian 9.8.0 live ISO, I get a working fbdev with these messages in /var/log/Xorg.0.log [ 11.795] (**) FBDEV(2): claimed PCI slot 1@0:0:0 […] [ 11.795] (II) FBDEV(0): hardware: EFI VGA (video memory: 1984kB) These messages are missing on Guix (instead, I get [ 45.884] (EE) Screen 0 deleted because of no matching config section. where Debian has successfully found a screen. Before these messages, I see on Guix: [ 43.781] (--) PCI:*(1@0:0:0) 1002:6613:1043:0541 rev 0, Mem @ 0xe0000000/268435456, 0xf7e00000/262144, I/O @ 0x0000e000/256, BIOS @ 0x????????/131072 On Debian, I see: [ 11.702] (--) PCI:*(0:1:0:0) 1002:6613:1043:0541 rev 0, Mem @ 0xe0000000/268435456, 0xf7e00000/262144, I/O @ 0x0000e000/256, BIOS @ 0x????????/131072 I wonder, where does this difference in the PCI message come from?
