Re: XENHVM (was: IPSEC)

[Steven Chamberlain <steven@pyro.eu.org>]

Hi,

On 09:04, Alexander Dahl wrote:
> My next step would have been to find out how to compile my own kernel
> for Debian GNU/kFreeBSD but with this news I maybe just upgrade to sid
> and wait just a little … O:-)

For kfreebsd-9, I replaced debian/arch/amd64/amd64.config with a custom
amd64-xenhvm.config like so, then dpkg-buildpackage -b:

--- kfreebsd-9/debian/arch/amd64/amd64.config       2013-05-01 13:21:35.000000000 +0100
+++ kfreebsd-9/debian/arch/amd64/amd64-xenhvm.config 2013-07-24 14:11:51.061394382 +0100
@@ -1,7 +1,7 @@
 # Kernel for Debian GNU/kFreeBSD on all x86-64 machines
 
 cpu            HAMMER
-ident          Debian-amd64
+ident          Debian-amd64-xenhvm
 
 options                SMP             # Symmetric MultiProcessor Kernel
 options                ALTQ_NOPCC      # Required for SMP build
@@ -27,5 +27,20 @@
 device         pfsync
 device         pflog
 
-include         GENERIC
+#
+# Adaptive locks rely on a lock-free pointer read to determine the run state
+# of the thread holding a lock when under contention; under a virtualisation
+# system, the thread run state may not accurately reflect whether the thread
+# (or rather its host VCPU) is actually executing.  As such, disable this
+# optimisation.
+#
+options        NO_ADAPTIVE_MUTEXES
+options        NO_ADAPTIVE_RWLOCKS
+options        NO_ADAPTIVE_SX
+
+# Xen HVM support
+options        XENHVM
+device         xenpci
+
+include                GENERIC
 include                DEBIAN

Regards,
-- 
Steven Chamberlain
steven@pyro.eu.org