Re: [ANNOUNCE] The Janitor Project

From: Werner Almesberger (Werner.Almesberger@epfl.ch)
Date: Tue Mar 27 2001 - 03:43:21 EST

Next message: Thomas Foerster: "Re: URGENT : System hands on "Freeing unused kernel memory: ""
Previous message: Roger Gammans: "Re: [PATCH] Prevent OOM from killing init"
Next in thread: Arnaldo Carvalho de Melo: "Re: [ANNOUNCE] The Janitor Project"
Reply: Arnaldo Carvalho de Melo: "Re: [ANNOUNCE] The Janitor Project"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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.

- Werner

-- 
  _________________________________________________________________________
 / Werner Almesberger, ICA, EPFL, CH           Werner.Almesberger@epfl.ch /
/_IN_N_032__Tel_+41_21_693_6621__Fax_+41_21_693_6610_____________________/
-
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/

Next message: Thomas Foerster: "Re: URGENT : System hands on "Freeing unused kernel memory: ""
Previous message: Roger Gammans: "Re: [PATCH] Prevent OOM from killing init"
Next in thread: Arnaldo Carvalho de Melo: "Re: [ANNOUNCE] The Janitor Project"
Reply: Arnaldo Carvalho de Melo: "Re: [ANNOUNCE] The Janitor Project"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b29 : Sat Mar 31 2001 - 21:00:15 EST