[CSE]  Advanced Operating Systems 
  COMP9242 2002/S2  		UNSW
PRINTER Printer-Friendly Version
Administration               
- Notices
- Course Intro
- Consultations
# On-line Survey (closed)
- Survey Results
 
Work
- Lectures
- Milestone 0
- Project Admin
- Project Spec
- Project FAQ
- Exam
 
Documentation
- ASysT Lab
- L4 source browser
- Sulima ISA Simulator
- R4x00 ISA Summary 
- MIPS R4700 Reference - MIPS R4000 User Manual 
- Network Driver
- GT64111
 
Related Info
- Aurema OS Prize
- OS Hall of Fame
 
History
- 2000
- 1999
- 1998
 
Staff
- Gernot Heiser (LiC)

 
Valid HTML 4.0!
next up previous
Next: L4 System Calls Up: 01-l4 Previous: OS Structure

The L4 Interface

  • 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