K 10 svn:author V 4 jeff K 8 svn:date V 27 2003-11-13T02:04:34.000000Z K 7 svn:log V 216 - Add the WITNESS_SKIPSPIN option to the GENERIC kernel so that users who enable WITNESS on alphas will not get the expensive spin lock checking by default. This mirrors the default config settings for i386. END