On Wed, 25 Sep 2013, Steven Chamberlain wrote:
There's a similar situation with Xen HVM - the Debian Linux kernels include full support for Xen PCI devices and paravirtualised device drivers, but those are not enabled by default in upstream's GENERIC config, only in a separate XENHVM config.
BTW upstream has removed the separate XENHVM config 6 days ago in r255744, its functionality is now in GENERIC. That won't help kFreeBSD until we can drop kfreebsd9, of course, but it is progress.
-Ben Kaduk