OK, I have feedback from my ISP. Their kernel does not include dmi, on the basis that it's been deprecated since 2005!
They've worked around this problem by installing the natty libvirt package which does not suffer this problem. I guess a backport request would be appropriate. Sorry to trouble you, please close this now. -- 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 Ubuntu-server-bugs@lists.ubuntu.com Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/ubuntu-server-bugs