Hi David, Are the resources which you are trying to map from inside the domU correctly represented in the PCI device's BARs?
I suspect that it would be worthwhile to try the Wheezy 3.2 based kernel in your domU. If this doesn't help then your best bet is likely to be to the upstream mailing list. Ian. -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]

