https://bugzilla.kernel.org/show_bug.cgi?id=193651 --- Comment #16 from fin4478@xxxxxxxxxxx --- (In reply to Milo from comment #15) > > I tried the above but notice that it fails when trying to build headers. You do not need kernel headers unless you are using some dkms drivers. Currently there is a temperature bug in wip kernel. 4.11-rc3 kernel from kernel.org works. Some kernel version headers build failed because missing BUG-REPORTS file. Create the file into the linux directory. -- You are receiving this mail because: You are watching the assignee of the bug. _______________________________________________ dri-devel mailing list dri-devel@xxxxxxxxxxxxxxxxxxxxx https://lists.freedesktop.org/mailman/listinfo/dri-devel