That search finds nothing. The kernel is supplied and configured by my ISP - the stock kernel is not stable - I've asked them to contribute to this report.
-- You received this bug notification because you are a member of Ubuntu Server Team, which is subscribed to libvirt in Ubuntu. https://bugs.launchpad.net/bugs/874350 Title: Segfault: Failed to get udev device for syspath '/sys/devices/virtual/dmi/id' To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/libvirt/+bug/874350/+subscriptions -- Ubuntu-server-bugs mailing list [email protected] Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/ubuntu-server-bugs
