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 ste...@pyro.eu.org -- To UNSUBSCRIBE, email to debian-bsd-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/20130927143215.ga18...@squeeze.pyro.eu.org
