On Mon, 17 Jan 2000, Guest section DW wrote:
> What one would like is a formal description of the global invariants.
> What the obligations of all routines are.
> If there is such a description, then every driver writer will go through
> his code with these rules in hand to verify that his code complies.
> But presently the rules are only in the minds of some people.
> The way to write a driver is to take another one that works, copy it,
> modify the obvious things, test a little and release it.
> Alessandro's book will help in understanding what this other driver does,
> but is far from a formal specification.
>
> As long as we do not provide the rules you cannot blame driver writers.
Yup. And I want to make those rule as simple as possible. And yes, text
documenting them is going to be the part of thing.
-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.rutgers.edu
Please read the FAQ at http://www.tux.org/lkml/
This archive was generated by hypermail 2b29 : Mon Jan 31 2000 - 21:00:26 EST