On Thu, 2013-05-02 at 23:52 +0200, Samuel Thibault wrote: > Svante Signell, le Thu 02 May 2013 12:14:46 +0200, a écrit : > > On Thu, 2013-05-02 at 01:47 +0200, Samuel Thibault wrote:
> But I guess you were still running the old kernel while doing this? > > You need to reboot with the new kernel to see the issue finally fixed. I did reboot and strange things happened again, but that was the -dbg kernel not being upgraded. Thanks, my "unusable" kvm image is OK :) Sometimes being persistent on bugs is useful (and Hurd/gnumach has one less serious bug).