Divide Error: 0000 [#1] SMP

[Henry Hallam]

On Sun, Jun 14, 2015 at 6:31 AM, Sioban <sioban at 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