"A month of sundays ago James Manning wrote:"
> [ Thursday, February 10, 2000 ] prram@hss.hns.com wrote:
> > I would like to understand and document the Hardware Abstraction of Linux
> > Kernel.
>
> Tell ya what... since David is busy, how about taking on the updating
> (esp with 2.4 coming) of this site:
>
> http://www.linuxdoc.org/LDP/tlk/tlk.html
>
> It should provide a good place to start from
I'm also working slowly on formally modelling at least the block driver
semantics at a high level. I have a part built test rig (user space
kernel emulation) as a result. Using pthreads. Thanks for the pointer.
Peter
-
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 : Tue Feb 15 2000 - 21:00:18 EST