hi,
i see thread::raise_exception(ts), and i know this is where l4 notices a linux
sys call (int 0x80), however, i do *not* see where the ipc is sent to the
linux server to tell it that a syscall has occured (and to get the parameters
and handle it)...
thanks in advance,
-andrew