Messages in this thread | | | Date | Mon, 26 Mar 2001 14:34:45 -0300 | From | Arnaldo Carvalho de Melo <> | Subject | Re: [ANNOUNCE] The Janitor Project |
| |
Em Tue, Mar 27, 2001 at 10:43:21AM +0200, Werner Almesberger escreveu: > Arnaldo Carvalho de Melo wrote: > > http://bazar.conectiva.com.br/~acme/TODO > > BTW, I don't know if you're already interacting, but it seems to me that > there are a lot of things on your list that look as if the MC project at > Stanford ("CHECKER") could provide automated tests for them.
Yup, there has been some interaction in the past and I suggest that the Stanford CHECKER people be subscribed to the kernel-janitors list or the other way around, so that we can work more closely.
One thing is to find error patterns, and this is being done by the janitor team and by any other interested people, other point is to go thru the kernel sources and see where the patterns appear, and here the CHECKER is a very important player if not the most important, and the other is to fix the problems found, where active maintainers should do the work, despite the fact that some are supposedly maintained (listed in MAINTAINERS or in the kernel sources) some aren't, there are even drivers listed as maintained but the maintainers don't even have the hardware anymore, and new maintainers should appear or the janitors should do the work.
- Arnaldo - To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/
| |