Christopher M. Penalver thank you for the update information. This crash happened once, I could not reproduce it since then, although I updated my BIOS. There was no notable change in behavior after the update. The output of the command is now:
V1.08 07/30/2013 ** Tags removed: bios-outdated-v1.08 ** Tags added: bios-up-to-date-v1.08 -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1219320 Title: Ubuntu 13.10 crash To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/linux/+bug/1219320/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
