L4 System Call C-Bindings Reference Manual (L4 Version 2),  © 1996-2003