I'm building a new rig and want to order the Asus Sabertooth X79 MB with a i7 3930K (VT-d enabled) processor.

Does anyone here have experience with this board and Linux?

I probably install either Linux Mint (perhaps the new Debian version), or Ubuntu. I've been using Linux Mint for some years now and am very happy with it as a desktop OS.

I also need to use VT-d to enable PCI passthrough for a Windows 7 VM (not sure if the hypervisor is going to be KVM, Xen, or whatever). The latest Bios releases are mentioned with VT-d support.

What is your experience with Asus and specifically this board?

Has anybody experience with other X79 board(s)? Or recommendations?

Need to decide quickly.