June 15, 2015
6:20 a.m.
On Sun, Jun 14, 2015 at 6:31 AM, Sioban <sioban@sioban.net> wrote:
I've checked the debian repo. The most recent kernel available is 4.0.0.2.
I assume I'll have to wait for that patch...
It looks like that patch has already been applied to the latest Debian 4.0 kernel (as has the other fix mentioned in Leon's link, c72efb658f7c) So give it a try :) Henry