Divide Error: 0000 [#1] SMP
henry at pericynthion.org
Mon Jun 15 02:20:03 EDT 2015
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 22.214.171.124.
> 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,
So give it a try :)
More information about the Kernelnewbies