API Reference Manuals for L4
| API Version | Reference Manual |
|---|
| X.2, WIP | [PDF] - November 17 2006 |
| L4.Sec v0.2 | [PDF] - October 19 2005 |
| N1, Rev. 2 | [PDF] - October 7 2005 |
| X.2, Rev. 5 | [PDF] - June 4 2004 |
| X.2, Rev. 4 | [PDF] - October 2 2003 |
| X.2, Rev. 3 | [PDF] - June 25 2003 |
| X.2, Rev. 2 | [PDF] - May 1 2003 |
| X.0 | [PDF] - September 3 1999 |
| 2/MIPS Rev. 79 | [PDF] - May 3 1999 |
| 2 | [PDF] - March 8 1998 |
Programming Manual for OKL4
Open Kernel Labs has released an extensive Programming Manual for
OKL4, available from their web site. This replaces reference
manual, but provides much more information on the use of the API.
User Manuals for L4
There exist two user manuals from L4, contributed by UNSW/NICTA:
- a draft user manual for the present
X.2 API and its adaptation to the N1 API.
- a user manual for the old V2 API (this
one is somewhat MIPS specific as the V2 API did not abstract the
architecture very well)
|