OK, rebooting was a red herring, it turned out there was a disk problem, fixed by fsck. Unfortunately the "nogpumanager" did not help. Is there a fix for this problem now ?
OK, rebooting was a red herring, it turned out there was a disk problem, fixed by fsck. Unfortunately the "nogpumanager" did not help. Is there a fix for this problem now ?