Hi Christopher, Thanks for getting back on this. I can add that the problem, unfortunately, still occurred in the 12.04 LTS of Ubuntu on that laptop (HP Elitebook). Since the problem is related to (excessive) swapping, I thought simply adding more RAM would be a workaround (it had 4Gb). But my University didn't want to buy new ram for an old laptop, so they got me a Dell Precision with 8Gb. I'm still running 12.04 LTS, and even with memory more or less maxed out I never had the problems I had with the HP Elitebook. The HP Elitebook is with a coleague now, so if this really needs tracking down, I could ask him to do some tests. Will that be worth the effort?
It would be up to your colleague, if the problem is still reproducible. This bug report is being closed due to your last comment regarding you no longer have the hardware. For future reference you can manage the status of your own bugs by clicking on the current status in the yellow line and then choosing a new status in the revealed drop down box. You can learn more about bug statuses at https://wiki.ubuntu.com/Bugs/Status. Thank you again for taking the time to report this bug and helping to make Ubuntu better. Please submit any future bugs you may find. ** Changed in: linux (Ubuntu) Status: Incomplete => Invalid -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/887171 Title: Kernel Oops - BUG: unable to handle kernel NULL pointer dereference at 000000000000011f; RIP: 0018:[<ffffffff81032919>] [<ffffffff81032919>] __ticket_spin_lock+0x9/0x20 To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/linux/+bug/887171/+subscriptions -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
