- |
Jochen Liedtke: L4 Reference Manual (GMD/ IBM Watson Technical Report) |
|
- |
Jochen Liedtke: Lava Nucleus (LN) Reference Manual, 486, Pentium, Pentium Pro, Version 2.2. (IBM T. J. Watson Research Center, March 8, 1998) |
|
- |
Jochen Liedtke: LN Kdebug Manual. (IBM T. J. Watson Research Center, December 16, 1997) |
|
- | Libl4sys Manual Pages | |
- | Frequently Asked Questions about L4 | |
- |
Alan Au, Gernot Heiser: L4/MIPS User Manual Operating Systems and Distributed Systems GroupOperating Systems and Distributed Systems Group, University of New South Wales |