Kernel documentation
The L4Ka Hazelnut kernel is based on L4 Version X.0 interface
specification. A Version X.0 x86 reference manual is available in PS and PDF format.
An L4
User Manual was written for L4/MIPS at the University of New South
Wales.
Mailing lists
The L4Ka mailing list is intended for all L4Ka related
issues. Please visit the list
archive before posting to check if your issue has already been
discussed.
To subscribe
send mail containing only the word "subscribe" to l4ka-request@ira.uka.de.
To unsubscribe
send the word "unsubscribe".
Alternatively, you can also use this web based interface
There exist multiple L4-related mailing lists and discussion forums:
L4-hackers hosted at Dresden University of Technology. Subscribe here.
L4 implementors hosted in Sydney at UNSW.
Documents
L4 eXperimental Kernel Reference Manual, Version X.2
L4Ka Team
System Architecture Group, University of Karlsruhe, September 27, 2002
|
|
[pdf]
|
Hazelnut Kernel Debugger QuickReference
L4Ka Hazelnut Project Team
System Architecture Group, University of Karlsruhe
|
|
[html]
|
ARM Architecture Reference Manual (2nd Edition)
D. Jagger, D. Seal
Addison-Wesley, 2nd edition, December 27, 2000
|
|
[link]
|
L4 Nucleus Version X, Reference Manual, x86, Version X.0
Jochen Liedtke
System Architecture Group, University of Karlsruhe, September 3, 1999
|
|
[pdf]
[ps]
|
Lava Nucleus (LN) Reference Manual, 486, Pentium, Pentium Pro, Version 2.2
Jochen Liedtke
IBM T. J. Watson Research Center, March 1998
|
|
[pdf]
[ps]
|
LN Kdebug Manual
Jochen Liedtke
IBM T. J. Watson Research Center, December 1997
|
|
[pdf]
[ps]
|
|
