On Tuesday, October 02, 2012 11:21:06 am Norbert Aschendorff wrote: > I'll compile a kernel with > > options WITNESS > options WITNESS_KDB > > ok? Or should I include WITNESS_SKIPSPIN too? Yes, you should include WITNESS_SKIPSPIN. We should probably make that the default. -- John Baldwin