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