[ARTICLE] formal description of linux kernel

Peter T. Breuer (ptb@it.uc3m.es)
Thu, 30 May 2002 17:59:15 +0200 (MET DST)

Messages sorted by: [ date ][ thread ][ subject ][ author ]
Next message: Andrew Pam: "3dfx framebuffer driver borked in 2.5.19 kernel"
Next message: Justin T. Gibbs: "Re: aic-6.2.8 with U160 drives"
Previous message: Wichert Akkerman: "Re: [PATCH] 2.5.18 IDE 73"

I've just finished the first draft of a formal description of the
linux kernel - or at least some parts of it. In the spirit of
opensource I'm making it available before submitting it to a journal and
the copy will change as I revise it. I'd welcome collaborators or
criticisms or suggestions.

http://www.it.uc3m.es/ptb/linux-model.ps

Peter
-
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: Andrew Pam: "3dfx framebuffer driver borked in 2.5.19 kernel"
Next message: Justin T. Gibbs: "Re: aic-6.2.8 with U160 drives"
Previous message: Wichert Akkerman: "Re: [PATCH] 2.5.18 IDE 73"