> Do we have any policy on the use of lint against the kernel, and adding
> lint commands to the kernel for that purpose?
> 
> I ask because I'd like to strip all the /* ARGSUSED */ stuff out of
> sys/arch/pmax - it's used in maybe 4 or 5 files.
> 
Well, I think it would be real nice if the kerner were LINTable.
There are a bunch of things that must be fixed first, though.

-- Ragge