Thanks, I find most of my answers in this paper.<br>
<br><br><div><span class="gmail_quote">2008/3/26, Sergio Ruocco <<a href="mailto:sergio.ruocco@gmail.com">sergio.ruocco@gmail.com</a>>:</span><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<br> <br> For a more recent discussion, updated to Jan 2008, on the real-time<br> properties of general-purpose L4 microkernels, i.e., L4::Pistachio and<br> L4-embedded, on which OKL4 was based, I shamelessly suggest to read:<br>
<br> "A Real-Time Programmer's Tour of General-Purpose L4 Microkernels"<br> <a href="http://www.hindawi.com/getarticle.aspx?doi=10.1155/2008/234710">http://www.hindawi.com/getarticle.aspx?doi=10.1155/2008/234710</a><br>
<br> <br> That said, if you need information and support on scheduling in the<br> current and future OKL4 kernels, you should definitely ask OK Labs<br> engineers!<br> <br> </blockquote></div><br><br clear="all"><br>-- <br>
Antonin Subtil,<br>35 rue Donissan <br>FR-33000 Bordeaux<br>+33 (0)6.77.40.17.69