l4linux question

Andrew Davenport gtg259m at mail.gatech.edu
Fri Jun 3 20:54:20 CEST 2005


I have a fiasco l4/l4linux system setup.  I want to eventually log all linux
system calls from within the fiasco kernel (via thread::sys_ipc and
thread::shortcut_ipc).  I am curious: How does a linux system call get
translated into an l4 ipc ?

Andrew Winter Davenport

More information about the l4-hackers mailing list