Ben, I've uploaded a new version of xorg-server with a (different, hopefully more compreensive) patch for pci domains.
Could you please check if this update solves your problem? -- Does not support Linux PCI domains https://launchpad.net/bugs/54880 -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
