Quoting Lionel Landwerlin (2018-05-11 18:41:28)

On 11/05/18 16:51, Chris Wilson wrote:

    But I can't even startup a gdm on that machine with drm-tip. So maybe
    there is some much more broken...

Don't leave us in suspense...

https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=890614

Not our bug :)

You would not believe how relieved I am that someone else has bugs in their code. -Chris