School of Computer Science & Engineering
University of New South Wales
Advanced Operating Systems
COMP9242 2002/S2
Next: L4 System Calls
Up: 01-l4
Previous: OS Structure
- The L4 Reference Manual[EHL97] defines the L4
ABI:
- making maximal use of registers
- assembler interface
- very architecture-specific
- libl4 provides a C API:
- still somewhat architecture specific (e.g. size of
register message)
- interface is defined in header files in
http:/~cs9242/include/, $L4/include/l4/
- documented in Unix man pages http:/~cs9242/man/,
$L4/man/man2/
- Usage is explained in the L4 User Manual[AH98]
Gernot Heiser
2002-08-07