Dear Christopher, as of two weeks I am running Ubuntu Precise beta 2. As Scot wrote in #37, the bug does not occur anymore. I think that means it is fixed in mainline, but would like a confirmation of that before I add the tag as you describe.
Is there any other information that I should submit for reference? -- 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 ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs