[okl4-developer] L4 > scheduler

[Antonin SUBTIL]

Thanks,  I find most of my answers in this paper.


2008/3/26, Sergio Ruocco <sergio.ruocco at gmail.com>:
>
>
>
> For a more recent discussion, updated to Jan 2008, on the real-time
> properties of general-purpose L4 microkernels, i.e., L4::Pistachio and
> L4-embedded, on which OKL4 was based, I shamelessly suggest to read:
>
> "A Real-Time Programmer's Tour of General-Purpose L4 Microkernels"
> http://www.hindawi.com/getarticle.aspx?doi=10.1155/2008/234710
>
>
> That said, if you need information and support on scheduling in the
> current and future OKL4 kernels, you should definitely ask OK Labs
> engineers!
>
>


-- 
Antonin Subtil,
35 rue Donissan
FR-33000 Bordeaux
+33 (0)6.77.40.17.69
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.okl4.org/pipermail/developer/attachments/20080326/9d60f00a/attachment.htm