L4 Executable Interpreter Internal Reference Manual, part of DROPS  © 2000-2003