Re: transfer of execution with IPC
Joshua Haberman <[email protected]>
| Newsgroups | gmane.comp.micro-kernel.l4.l4ka.general |
|---|---|
| Message-ID | <[email protected]> |
On Tue, Sep 12, 2006 at 02:12:09PM +1000, Sergio Ruocco wrote: > > Joshua Haberman wrote: > >Sorry if any of these questions are already documented somewhere -- if so, > >please refer me to the appropriate documentation. > > Here is a recent paper about (among other things) L4 scheduling and IPC: > > http://www.ertos.nicta.com.au/publications/papers/Ruocco_06.abstract.pml > > Comments and criticisms on the paper are welcome. Thanks a lot for the explanation, and the reference to this paper. I like the paper a lot -- it explains in detail a lot of questions I had about L4. As I read it more in detail, I may send some suggestions your way. Thanks, Josh