В репозитории http://svn.freebsd.org/base/projects/amd64_xen_pv/ доступны
свежие версии драйверов для обеспечения работы гостевых систем FreeBSD в режиме
паравиртуализации под управлением Xen.

Для сборки паравиртуализированного ядра FreeBSD для Xen можно использовать следующую инструкцию:

   mkdir /dirprefix/
   mkdir /amd64_xen_pv/
   svn checkout svn://svn.freebsd.org/base/projects/amd64_xen_pv/ /amd64_xen_pv/
   cd /amd64_xen_pv/
   setenv MAKEOBJDIRPREFIX ../dirprefix/
   make -j10 -s buildkernel KERNCONF=XEN

В результате ядро и необходимые модули будут размещены в директории ../dirprefix/amd64_xen_pv/sys/XEN/kernel