K 10 svn:author V 5 markm K 8 svn:date V 27 2003-09-26T17:49:25.000000Z K 7 svn:log V 141 Separate out userland linting and kernel linting a bit more. This make things a bit easier for folks using lints other than the "base" lint. END