Re: system call

[suresh iyer]
> Where can i find some information on how to add a new system call to
> L4.  I am using L4ka:pistachio 0.4

We don't really have information on this since adding arbitrary
syscalls is something that people are not supposed to be doing.

[Assuming ia32 architecture here.]

 - Define your ABI (i.e., register usage).
 - Implement user stubs (user/include/l4/ia32/syscalls.h).  
 - Add entry within KIP (src/api/v4/kernelinterface.cc).  You can also
   choose to make an arch specific syscall (see, e.g., SAL_Call in the
   ia64 port).
 - Implement KIP stubs (src/glue/v4-ia32/user.cc).
 - Add in-kernel wrappers (include/glue/v4-ia32/syscalls.h).
 - Implement your actual syscall.

No, adding syscalls to L4 is not supposed to be a simple procedure.

	eSk