Screen Version

School of Computer Science & Engineering
University of New South Wales
 Advanced Operating Systems 
 COMP9242 2002/S2 

L4 System Calls

1. ipc()
   • Message passing, combining sending and receiving operations
2. fpage_unmap()
   • Revoke mappings
3. id_nearest()
   • Determination own and target TID
4. task_new()
   • Create/delete task/address space
5. lthread_ex_regs()
   • Create/manipulate thread
6. thread_switch()
   • Explicit time-slice donation
7. thread_schedule()
   • Setting/enquiring scheduling parameters