(In reply to Martin Schmidt from comment #7) > Many thanks. I will do so. But I am not sure, where to define the option > > drm.debug=0x1e > > best? Which file to edit? /etc/default/grub? For a temporary command line, you can add it at GRUB. Press 'e' on the boot entry, and edit there, press ctrl-X to boot.