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