L4 Thread Library Reference Manual, written by Lars Reuther  © 2000-2003