FreeBSD 10.0-R as Xen 'guest' - clarification?

[Karl Pielorz]

Hi,

With FreeBSD 10 being out now (Great!) - GENERIC appears now has everything 
needed for Xen to run in PVHVM for amd64.

The man page for xen (man 4 xen) states you should have:

  options NO_ADAPTIVE_MUTEXES
  options NO_ADAPTIVE_RWLOCKS
  options NO_ADAPTIVE_SX

In the kernel as well - when running under Xen - these (obviously) aren't 
in the GENERIC kernel, should they still be used for FreeBSD 10?

And for 'xen tools' - we're still correct to install the port of 
'sysutils/xe-guest-utilities' - correct?

Thanks,

-Karl